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