| /* SPDX-License-Identifier: GPL-2.0 */ |
| * (c) Copyright 2016, Data61 |
| * Commonwealth Scientific and Industrial Research Organisation (CSIRO) |
| * Based on jetson-tk1.h which is: |
| * (C) Copyright 2013-2014 |
| * NVIDIA Corporation <www.nvidia.com> |
| #include "tegra124-common.h" |
| /* High-level configuration options */ |
| #define CONFIG_TEGRA_BOARD_STRING "CEI tk1-som" |
| /* Board-specific serial config */ |
| #define CONFIG_TEGRA_ENABLE_UARTD |
| #define CONFIG_SYS_NS16550_COM1 NV_PA_APB_UARTD_BASE |
| /* Environment in eMMC, at the end of 2nd "boot sector" */ |
| #define CONFIG_SYS_MMC_ENV_DEV 0 |
| #define CONFIG_SYS_MMC_ENV_PART 2 |
| #define CONFIG_SPI_FLASH_SIZE (4 << 20) |
| #include "tegra-common-usb-gadget.h" |
| #include "tegra-common-post.h" |
| #define CONFIG_ARMV7_PSCI 1 |
| #define CONFIG_ARMV7_PSCI_NR_CPUS 4 |
| /* Reserve top 1M for secure RAM */ |
| #define CONFIG_ARMV7_SECURE_BASE 0xfff00000 |
| #define CONFIG_ARMV7_SECURE_RESERVE_SIZE 0x00100000 |