include/configs/jetson-tk1.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 /*
   3  * (C) Copyright 2013-2014
   4  * NVIDIA Corporation <www.nvidia.com>
   5  */
   6
   7 #ifndef __CONFIG_H
   8 #define __CONFIG_H
   9
  10 #include <linux/sizes.h>
  11
  12 #include "tegra124-common.h"
  13
  14 /* High-level configuration options */
  15 #define CONFIG_TEGRA_BOARD_STRING       "NVIDIA Jetson TK1"
  16
  17 /* Board-specific serial config */
  18 #define CONFIG_TEGRA_ENABLE_UARTD
  19 #define CONFIG_SYS_NS16550_COM1         NV_PA_APB_UARTD_BASE
  20
  21 /* Environment in eMMC, at the end of 2nd "boot sector" */
  22
  23 /* SPI */
  24 #define CONFIG_SPI_FLASH_SIZE           (4 << 20)
  25
  26 #include "tegra-common-usb-gadget.h"
  27 #include "tegra-common-post.h"
  28
  29 /* Reserve top 1M for secure RAM */
  30 #define CONFIG_ARMV7_SECURE_BASE                0xfff00000
  31 #define CONFIG_ARMV7_SECURE_RESERVE_SIZE        0x00100000
  32
  33 #endif /* __CONFIG_H */