blob: 233137b882dd12bcaa2364d6988cf361d9dc0218 [file] [log] [blame]
Bin Mengafee3fb2015-02-02 22:35:28 +08001CONFIG_X86=y
Tom Rini278b90c2018-02-03 12:10:38 -05002CONFIG_SYS_TEXT_BASE=0xFFF10000
Bin Meng65c4ac02015-04-27 23:22:24 +08003CONFIG_VENDOR_INTEL=y
Joe Hershbergerbd328eb2015-05-12 14:46:24 -05004CONFIG_DEFAULT_DEVICE_TREE="galileo"
Bin Mengafee3fb2015-02-02 22:35:28 +08005CONFIG_TARGET_GALILEO=y
Joe Hershbergerc9bb9422015-06-22 16:15:29 -05006CONFIG_GENERATE_PIRQ_TABLE=y
Bin Meng84c29992016-05-22 01:45:36 -07007CONFIG_GENERATE_MP_TABLE=y
Bin Menge6ddb6b2016-05-25 19:19:12 -07008CONFIG_GENERATE_ACPI_TABLE=y
Simon Glass73223f02016-02-22 22:55:43 -07009CONFIG_FIT=y
Sam Protsenko5abc1a42017-08-14 20:22:17 +030010CONFIG_USE_BOOTARGS=y
11CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
Simon Glassf3f3eff2016-10-17 20:13:00 -060012CONFIG_SYS_CONSOLE_INFO_QUIET=y
Mario Six78eba692018-03-28 14:38:17 +020013CONFIG_DISPLAY_BOARDINFO_LATE=y
Mario Six2aeb22d2018-03-28 14:38:16 +020014CONFIG_LAST_STAGE_INIT=y
Tom Riniadad96e2016-04-21 21:37:19 -040015CONFIG_HUSH_PARSER=y
Bin Meng0ac8d5e2016-05-22 01:45:30 -070016CONFIG_CMD_CPU=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050017# CONFIG_CMD_FLASH is not set
Tom Rini88663122017-08-14 19:58:53 -040018CONFIG_CMD_GPIO=y
Tom Rini89cb2b52016-04-24 17:29:26 -040019CONFIG_CMD_MMC=y
Patrick Delaunayb331cd62017-01-27 11:00:42 +010020CONFIG_CMD_PART=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040021CONFIG_CMD_SF=y
22CONFIG_CMD_SPI=y
23CONFIG_CMD_USB=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050024# CONFIG_CMD_SETEXPR is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040025CONFIG_CMD_DHCP=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050026# CONFIG_CMD_NFS is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040027CONFIG_CMD_PING=y
28CONFIG_CMD_TIME=y
Tom Rini89cb2b52016-04-24 17:29:26 -040029CONFIG_CMD_EXT2=y
30CONFIG_CMD_EXT4=y
31CONFIG_CMD_EXT4_WRITE=y
32CONFIG_CMD_FAT=y
33CONFIG_CMD_FS_GENERIC=y
Patrick Delaunayf18fa312017-01-27 11:00:36 +010034CONFIG_MAC_PARTITION=y
Patrick Delaunay1acc0082017-01-27 11:00:38 +010035CONFIG_ISO_PARTITION=y
Patrick Delaunaybd42a942017-01-27 11:00:41 +010036CONFIG_EFI_PARTITION=y
Bin Meng6b336872016-03-21 06:47:40 -070037CONFIG_NET_RANDOM_ETHADDR=y
Adam Fordd021e942018-02-06 07:58:59 -060038CONFIG_BOOTP_BOOTPATH=y
39CONFIG_BOOTP_GATEWAY=y
40CONFIG_BOOTP_HOSTNAME=y
Simon Glass15cf75e2016-03-11 22:07:14 -070041CONFIG_REGMAP=y
42CONFIG_SYSCON=y
Bin Meng0ac8d5e2016-05-22 01:45:30 -070043CONFIG_CPU=y
Tom Rini645176d2016-09-08 16:31:26 -040044CONFIG_USB_STORAGE=y
Simon Glass4ef6ece2016-10-17 20:13:01 -060045CONFIG_USB_KEYBOARD=y