1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2010-2012
4  * NVIDIA Corporation <www.nvidia.com>
5  */
6 
7 #ifndef __TEGRA_COMMON_POST_H
8 #define __TEGRA_COMMON_POST_H
9 
10 #define BOOT_TARGETS	"usb mmc1 mmc0 pxe dhcp"
11 
12 #ifdef CONFIG_TEGRA_KEYBOARD
13 #define STDIN_KBD_KBC ",tegra-kbc"
14 #else
15 #define STDIN_KBD_KBC ""
16 #endif
17 
18 #ifdef CONFIG_USB_KEYBOARD
19 #define STDIN_KBD_USB ",usbkbd"
20 #else
21 #define STDIN_KBD_USB ""
22 #endif
23 
24 #ifdef CONFIG_BUTTON_KEYBOARD
25 #define STDIN_BTN_KBD ",button-kbd"
26 #else
27 #define STDIN_BTN_KBD ""
28 #endif
29 
30 #ifdef CONFIG_VIDEO
31 #define STDOUT_VIDEO ",vidconsole"
32 #else
33 #define STDOUT_VIDEO ""
34 #endif
35 
36 #ifdef CONFIG_CROS_EC_KEYB
37 #define STDOUT_CROS_EC	",cros-ec-keyb"
38 #else
39 #define STDOUT_CROS_EC	""
40 #endif
41 
42 #define TEGRA_DEVICE_SETTINGS \
43 	"stdin=serial" STDIN_KBD_KBC STDIN_KBD_USB STDOUT_CROS_EC STDIN_BTN_KBD "\0" \
44 	"stdout=serial" STDOUT_VIDEO "\0" \
45 	"stderr=serial" STDOUT_VIDEO "\0" \
46 	""
47 
48 #ifndef BOARD_EXTRA_ENV_SETTINGS
49 #define BOARD_EXTRA_ENV_SETTINGS
50 #endif
51 
52 #ifdef CONFIG_ARM64
53 #define FDT_HIGH "ffffffffffffffff"
54 #define INITRD_HIGH "ffffffffffffffff"
55 #else
56 #define FDT_HIGH "ffffffff"
57 #define INITRD_HIGH "ffffffff"
58 #endif
59 
60 #define CFG_EXTRA_ENV_SETTINGS \
61 	TEGRA_DEVICE_SETTINGS \
62 	MEM_LAYOUT_ENV_SETTINGS \
63 	"fdt_high=" FDT_HIGH "\0" \
64 	"initrd_high=" INITRD_HIGH "\0" \
65 	"boot_targets=" BOOT_TARGETS "\0" \
66 	BOARD_EXTRA_ENV_SETTINGS
67 
68 #endif /* __TEGRA_COMMON_POST_H */
69