1 /* SPDX-License-Identifier: GPL-2.0 */
3 * (C) Copyright 2013-2014
4 * NVIDIA Corporation <www.nvidia.com>
10 #include <linux/sizes.h>
12 #include "tegra124-common.h"
14 /* High-level configuration options */
15 #define CONFIG_TEGRA_BOARD_STRING "NVIDIA Jetson TK1"
17 /* Board-specific serial config */
18 #define CONFIG_TEGRA_ENABLE_UARTD
19 #define CONFIG_SYS_NS16550_COM1 NV_PA_APB_UARTD_BASE
22 #define CONFIG_SYS_I2C_TEGRA
24 /* Environment in eMMC, at the end of 2nd "boot sector" */
25 #define CONFIG_ENV_OFFSET (-CONFIG_ENV_SIZE)
26 #define CONFIG_SYS_MMC_ENV_DEV 0
27 #define CONFIG_SYS_MMC_ENV_PART 2
30 #define CONFIG_SF_DEFAULT_MODE SPI_MODE_0
31 #define CONFIG_SF_DEFAULT_SPEED 24000000
32 #define CONFIG_SPI_FLASH_SIZE (4 << 20)
34 /* USB Host support */
35 #define CONFIG_USB_EHCI_TEGRA
37 #include "tegra-common-usb-gadget.h"
38 #include "tegra-common-post.h"
40 /* Reserve top 1M for secure RAM */
41 #define CONFIG_ARMV7_SECURE_BASE 0xfff00000
42 #define CONFIG_ARMV7_SECURE_RESERVE_SIZE 0x00100000
44 #endif /* __CONFIG_H */