jetson-tk1.h 834 B

1234567891011121314151617181920212223242526272829303132333435
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. /*
  3. * (C) Copyright 2013-2014
  4. * NVIDIA Corporation <www.nvidia.com>
  5. */
  6. #ifndef __CONFIG_H
  7. #define __CONFIG_H
  8. #include <linux/sizes.h>
  9. #include "tegra124-common.h"
  10. /* High-level configuration options */
  11. #define CONFIG_TEGRA_BOARD_STRING "NVIDIA Jetson TK1"
  12. /* Board-specific serial config */
  13. #define CONFIG_TEGRA_ENABLE_UARTD
  14. #define CONFIG_SYS_NS16550_COM1 NV_PA_APB_UARTD_BASE
  15. /* Environment in eMMC, at the end of 2nd "boot sector" */
  16. #define CONFIG_SYS_MMC_ENV_DEV 0
  17. #define CONFIG_SYS_MMC_ENV_PART 2
  18. /* SPI */
  19. #define CONFIG_SPI_FLASH_SIZE (4 << 20)
  20. #include "tegra-common-usb-gadget.h"
  21. #include "tegra-common-post.h"
  22. /* Reserve top 1M for secure RAM */
  23. #define CONFIG_ARMV7_SECURE_BASE 0xfff00000
  24. #define CONFIG_ARMV7_SECURE_RESERVE_SIZE 0x00100000
  25. #endif /* __CONFIG_H */