1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2019 Intel Corporation <www.intel.com>
6 #ifndef __SLIMBOOTLOADER_CONFIG_H__
7 #define __SLIMBOOTLOADER_CONFIG_H__
9 #include <configs/x86-common.h>
11 #define CONFIG_STD_DEVICES_SETTINGS \
12 "stdin=serial,i8042-kbd,usbkbd\0" \
17 * Override CONFIG_EXTRA_ENV_SETTINGS in x86-common.h
19 #undef CONFIG_EXTRA_ENV_SETTINGS
20 #define CONFIG_EXTRA_ENV_SETTINGS \
21 CONFIG_STD_DEVICES_SETTINGS \
23 "consoledev=ttyS0\0" \
24 "ramdiskaddr=0x4000000\0" \
25 "ramdiskfile=initrd\0" \
29 "bootfsload=fatload\0" \
30 "bootusb=setenv bootdev usb; boot\0" \
31 "bootscsi=setenv bootdev scsi; boot\0" \
32 "bootmmc=setenv bootdev mmc; boot\0" \
33 "bootargs=console=ttyS0,115200 console=tty0\0"
36 * Override CONFIG_BOOTCOMMAND in x86-common.h
39 #endif /* __SLIMBOOTLOADER_CONFIG_H__ */