blob: d1ad8025e7c3881d19e6bf9d3003437ff00aecb3 [file] [log] [blame]
Bin Mengbda40d52017-01-18 03:33:04 -08001CONFIG_X86=y
Tom Rini278b90c2018-02-03 12:10:38 -05002CONFIG_SYS_TEXT_BASE=0x1110000
Bin Mengbda40d52017-01-18 03:33:04 -08003CONFIG_SPL_LIBCOMMON_SUPPORT=y
4CONFIG_SPL_LIBGENERIC_SUPPORT=y
5CONFIG_SYS_MALLOC_F_LEN=0x1000
6CONFIG_MAX_CPUS=2
7CONFIG_SPL_SERIAL_SUPPORT=y
Bin Mengbda40d52017-01-18 03:33:04 -08008CONFIG_SPL_DRIVERS_MISC_SUPPORT=y
Bin Mengbda40d52017-01-18 03:33:04 -08009CONFIG_SPL_SPI_SUPPORT=y
10CONFIG_X86_RUN_64BIT=y
11CONFIG_DEFAULT_DEVICE_TREE="qemu-x86_i440fx"
12CONFIG_TARGET_QEMU_X86_64=y
Tom Rinifb82fe32017-06-19 09:47:40 -040013CONFIG_DEBUG_UART=y
Bin Mengbda40d52017-01-18 03:33:04 -080014CONFIG_SMP=y
15CONFIG_GENERATE_PIRQ_TABLE=y
16CONFIG_GENERATE_MP_TABLE=y
17CONFIG_GENERATE_ACPI_TABLE=y
Heinrich Schuchardt871aa412017-10-16 18:08:38 +000018CONFIG_BUILD_ROM=y
Bin Mengbda40d52017-01-18 03:33:04 -080019CONFIG_FIT=y
20CONFIG_SPL_LOAD_FIT=y
21CONFIG_BOOTSTAGE=y
22CONFIG_BOOTSTAGE_REPORT=y
Sam Protsenko5abc1a42017-08-14 20:22:17 +030023CONFIG_USE_BOOTARGS=y
24CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
Bin Mengbda40d52017-01-18 03:33:04 -080025CONFIG_SYS_CONSOLE_INFO_QUIET=y
Bin Mengbda40d52017-01-18 03:33:04 -080026CONFIG_SPL_SYS_MALLOC_SIMPLE=y
27CONFIG_SPL_CPU_SUPPORT=y
Tom Rini8728c972017-03-13 13:48:42 -040028CONFIG_SPL_ENV_SUPPORT=y
Bin Mengbda40d52017-01-18 03:33:04 -080029CONFIG_SPL_NET_SUPPORT=y
30CONFIG_SPL_PCI_SUPPORT=y
31CONFIG_SPL_PCH_SUPPORT=y
32CONFIG_SPL_RTC_SUPPORT=y
Bin Mengbda40d52017-01-18 03:33:04 -080033CONFIG_HUSH_PARSER=y
34CONFIG_CMD_CPU=y
35# CONFIG_CMD_BOOTEFI_HELLO_COMPILE is not set
Tom Rini308e0662017-10-16 21:35:43 -040036CONFIG_CMD_BOOTEFI_SELFTEST=y
Bin Mengbda40d52017-01-18 03:33:04 -080037# CONFIG_CMD_FLASH is not set
Tom Rini88663122017-08-14 19:58:53 -040038CONFIG_CMD_IDE=y
Bin Mengbda40d52017-01-18 03:33:04 -080039CONFIG_CMD_SF=y
40CONFIG_CMD_SPI=y
41CONFIG_CMD_USB=y
42# CONFIG_CMD_SETEXPR is not set
43CONFIG_CMD_DHCP=y
44# CONFIG_CMD_NFS is not set
45CONFIG_CMD_PING=y
46CONFIG_CMD_TIME=y
47CONFIG_CMD_QFW=y
48CONFIG_CMD_BOOTSTAGE=y
49CONFIG_CMD_EXT2=y
50CONFIG_CMD_EXT4=y
51CONFIG_CMD_EXT4_WRITE=y
52CONFIG_CMD_FAT=y
53CONFIG_CMD_FS_GENERIC=y
Bin Mengbda40d52017-01-18 03:33:04 -080054CONFIG_SPL_OF_CONTROL=y
Adam Fordd021e942018-02-06 07:58:59 -060055CONFIG_BOOTP_BOOTPATH=y
56CONFIG_BOOTP_GATEWAY=y
57CONFIG_BOOTP_HOSTNAME=y
Bin Mengbda40d52017-01-18 03:33:04 -080058CONFIG_SPL_DM=y
59CONFIG_REGMAP=y
60CONFIG_SPL_REGMAP=y
61CONFIG_SYSCON=y
62CONFIG_SPL_SYSCON=y
63CONFIG_CPU=y
Bin Mengbda40d52017-01-18 03:33:04 -080064CONFIG_DEBUG_UART_BASE=0x3f8
65CONFIG_DEBUG_UART_CLOCK=1843200
Tom Rini88663122017-08-14 19:58:53 -040066CONFIG_SPL_TIMER=y
Bin Mengbda40d52017-01-18 03:33:04 -080067CONFIG_USB_STORAGE=y
68CONFIG_USB_KEYBOARD=y
Bin Mengbda40d52017-01-18 03:33:04 -080069CONFIG_FRAMEBUFFER_SET_VESA_MODE=y
70CONFIG_FRAMEBUFFER_VESA_MODE_111=y
71CONFIG_CONSOLE_SCROLL_LINES=5