include/configs/cei-tk1-som.h

   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 */