2018-05-06 21:58:06 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
2014-03-25 17:39:33 +00:00
|
|
|
/*
|
|
|
|
* (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" */
|
|
|
|
#define CONFIG_ENV_OFFSET (-CONFIG_ENV_SIZE)
|
|
|
|
#define CONFIG_SYS_MMC_ENV_DEV 0
|
|
|
|
#define CONFIG_SYS_MMC_ENV_PART 2
|
|
|
|
|
|
|
|
/* SPI */
|
|
|
|
#define CONFIG_SPI_FLASH_SIZE (4 << 20)
|
|
|
|
|
2014-07-25 23:16:54 +00:00
|
|
|
#include "tegra-common-usb-gadget.h"
|
2014-03-25 17:39:33 +00:00
|
|
|
#include "tegra-common-post.h"
|
|
|
|
|
2015-04-21 05:18:40 +00:00
|
|
|
/* Reserve top 1M for secure RAM */
|
|
|
|
#define CONFIG_ARMV7_SECURE_BASE 0xfff00000
|
|
|
|
#define CONFIG_ARMV7_SECURE_RESERVE_SIZE 0x00100000
|
|
|
|
|
2014-03-25 17:39:33 +00:00
|
|
|
#endif /* __CONFIG_H */
|