1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * (C) Copyright 2010-2012
4 * NVIDIA Corporation <www.nvidia.com>
7 #ifndef __TEGRA_COMMON_POST_H
8 #define __TEGRA_COMMON_POST_H
10 #define CONFIG_SYS_NONCACHED_MEMORY (1 << 20) /* 1 MiB */
12 #if CONFIG_IS_ENABLED(CMD_USB)
13 # define BOOT_TARGET_USB(func) func(USB, usb, 0)
15 # define BOOT_TARGET_USB(func)
18 #ifndef BOOT_TARGET_DEVICES
19 #define BOOT_TARGET_DEVICES(func) \
22 BOOT_TARGET_USB(func) \
26 #include <config_distro_bootcmd.h>
28 #ifdef CONFIG_TEGRA_KEYBOARD
29 #define STDIN_KBD_KBC ",tegra-kbc"
31 #define STDIN_KBD_KBC ""
34 #ifdef CONFIG_USB_KEYBOARD
35 #define STDIN_KBD_USB ",usbkbd"
37 #define STDIN_KBD_USB ""
41 #define STDOUT_VIDEO ",vidconsole"
43 #define STDOUT_VIDEO ""
46 #ifdef CONFIG_CROS_EC_KEYB
47 #define STDOUT_CROS_EC ",cros-ec-keyb"
49 #define STDOUT_CROS_EC ""
52 #define TEGRA_DEVICE_SETTINGS \
53 "stdin=serial" STDIN_KBD_KBC STDIN_KBD_USB STDOUT_CROS_EC "\0" \
54 "stdout=serial" STDOUT_VIDEO "\0" \
55 "stderr=serial" STDOUT_VIDEO "\0" \
58 #ifndef BOARD_EXTRA_ENV_SETTINGS
59 #define BOARD_EXTRA_ENV_SETTINGS
63 #define FDT_HIGH "ffffffffffffffff"
64 #define INITRD_HIGH "ffffffffffffffff"
66 #define FDT_HIGH "ffffffff"
67 #define INITRD_HIGH "ffffffff"
70 #define CONFIG_EXTRA_ENV_SETTINGS \
71 TEGRA_DEVICE_SETTINGS \
72 MEM_LAYOUT_ENV_SETTINGS \
73 "fdt_high=" FDT_HIGH "\0" \
74 "initrd_high=" INITRD_HIGH "\0" \
76 BOARD_EXTRA_ENV_SETTINGS
78 #if defined(CONFIG_TEGRA20_SFLASH) || defined(CONFIG_TEGRA20_SLINK) || defined(CONFIG_TEGRA114_SPI)
79 #define CONFIG_TEGRA_SPI
82 #endif /* __TEGRA_COMMON_POST_H */