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