1 /* SPDX-License-Identifier: GPL-2.0 */
3 * (c) Copyright 2016, Data61
4 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
6 * Based on jetson-tk1.h which is:
7 * (C) Copyright 2013-2014
8 * NVIDIA Corporation <www.nvidia.com>
14 #include <linux/sizes.h>
16 #include "tegra124-common.h"
18 /* High-level configuration options */
19 #define CONFIG_TEGRA_BOARD_STRING "CEI tk1-som"
21 /* Board-specific serial config */
22 #define CONFIG_TEGRA_ENABLE_UARTD
23 #define CONFIG_SYS_NS16550_COM1 NV_PA_APB_UARTD_BASE
25 /* Environment in eMMC, at the end of 2nd "boot sector" */
26 #define CONFIG_ENV_OFFSET (-CONFIG_ENV_SIZE)
27 #define CONFIG_SYS_MMC_ENV_DEV 0
28 #define CONFIG_SYS_MMC_ENV_PART 2
31 #define CONFIG_SPI_FLASH_SIZE (4 << 20)
33 #include "tegra-common-usb-gadget.h"
34 #include "tegra-common-post.h"
36 #define CONFIG_ARMV7_PSCI 1
37 #define CONFIG_ARMV7_PSCI_NR_CPUS 4
38 /* Reserve top 1M for secure RAM */
39 #define CONFIG_ARMV7_SECURE_BASE 0xfff00000
40 #define CONFIG_ARMV7_SECURE_RESERVE_SIZE 0x00100000
42 #endif /* __CONFIG_H */