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