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 #if IS_ENABLED(CONFIG_CMD_USB)
11 # define BOOT_TARGET_USB(func) func(USB, usb, 0)
13 # define BOOT_TARGET_USB(func)
16 #ifndef BOOT_TARGET_DEVICES
17 #define BOOT_TARGET_DEVICES(func) \
20 BOOT_TARGET_USB(func) \
24 #include <config_distro_bootcmd.h>
26 #ifdef CONFIG_TEGRA_KEYBOARD
27 #define STDIN_KBD_KBC ",tegra-kbc"
29 #define STDIN_KBD_KBC ""
32 #ifdef CONFIG_USB_KEYBOARD
33 #define STDIN_KBD_USB ",usbkbd"
35 #define STDIN_KBD_USB ""
39 #define STDOUT_VIDEO ",vidconsole"
41 #define STDOUT_VIDEO ""
44 #ifdef CONFIG_CROS_EC_KEYB
45 #define STDOUT_CROS_EC ",cros-ec-keyb"
47 #define STDOUT_CROS_EC ""
50 #define TEGRA_DEVICE_SETTINGS \
51 "stdin=serial" STDIN_KBD_KBC STDIN_KBD_USB STDOUT_CROS_EC "\0" \
52 "stdout=serial" STDOUT_VIDEO "\0" \
53 "stderr=serial" STDOUT_VIDEO "\0" \
56 #ifndef BOARD_EXTRA_ENV_SETTINGS
57 #define BOARD_EXTRA_ENV_SETTINGS
61 #define FDT_HIGH "ffffffffffffffff"
62 #define INITRD_HIGH "ffffffffffffffff"
64 #define FDT_HIGH "ffffffff"
65 #define INITRD_HIGH "ffffffff"
68 #define CFG_EXTRA_ENV_SETTINGS \
69 TEGRA_DEVICE_SETTINGS \
70 MEM_LAYOUT_ENV_SETTINGS \
71 "fdt_high=" FDT_HIGH "\0" \
72 "initrd_high=" INITRD_HIGH "\0" \
74 BOARD_EXTRA_ENV_SETTINGS
76 #endif /* __TEGRA_COMMON_POST_H */