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