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 CFG_TEGRA_BOARD_STRING	"CEI tk1-som"
20
21/* Board-specific serial config */
22#define CFG_SYS_NS16550_COM1		NV_PA_APB_UARTD_BASE
23
24#include "tegra-common-post.h"
25
26#endif /* __CONFIG_H */
27