123456789101112131415161718192021222324252627282930313233 |
- /* SPDX-License-Identifier: GPL-2.0 */
- /*
- * (C) Copyright 2013-2014
- * NVIDIA Corporation <www.nvidia.com>
- */
- #ifndef __CONFIG_H
- #define __CONFIG_H
- #include <linux/sizes.h>
- #include "tegra124-common.h"
- /* High-level configuration options */
- #define CONFIG_TEGRA_BOARD_STRING "NVIDIA Jetson TK1"
- /* 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" */
- /* SPI */
- #define CONFIG_SPI_FLASH_SIZE (4 << 20)
- #include "tegra-common-usb-gadget.h"
- #include "tegra-common-post.h"
- /* Reserve top 1M for secure RAM */
- #define CONFIG_ARMV7_SECURE_BASE 0xfff00000
- #define CONFIG_ARMV7_SECURE_RESERVE_SIZE 0x00100000
- #endif /* __CONFIG_H */
|