blob: 0a4c207ef9d6ba94d04afb2baef4cf3f0e6a35df [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
Tom Rini554e5512020-08-10 15:31:07 -04003CONFIG_NR_DRAM_BANKS=8
Tom Rinia09fea12019-11-18 20:02:10 -05004CONFIG_ENV_SIZE=0x1000
5CONFIG_ENV_OFFSET=0x0
Tom Rini556fd592020-04-28 16:15:47 -04006CONFIG_ENV_SECT_SIZE=0x1000
Tom Rinif7d0ae92020-07-28 08:46:52 -04007CONFIG_DEFAULT_DEVICE_TREE="galileo"
Bin Meng65c4ac02015-04-27 23:22:24 +08008CONFIG_VENDOR_INTEL=y
Bin Mengafee3fb2015-02-02 22:35:28 +08009CONFIG_TARGET_GALILEO=y
Joe Hershbergerc9bb9422015-06-22 16:15:29 -050010CONFIG_GENERATE_PIRQ_TABLE=y
Bin Meng84c29992016-05-22 01:45:36 -070011CONFIG_GENERATE_MP_TABLE=y
Simon Glass73223f02016-02-22 22:55:43 -070012CONFIG_FIT=y
Simon Glass9f531462019-07-20 20:51:12 -060013CONFIG_SHOW_BOOT_PROGRESS=y
Sam Protsenko5abc1a42017-08-14 20:22:17 +030014CONFIG_USE_BOOTARGS=y
15CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
Tom Rini970bf862021-11-10 09:11:40 -050016CONFIG_USE_BOOTCOMMAND=y
17CONFIG_BOOTCOMMAND="ext2load scsi 0:3 01000000 /boot/vmlinuz; zboot 01000000"
Simon Glassf3f3eff2016-10-17 20:13:00 -060018CONFIG_SYS_CONSOLE_INFO_QUIET=y
Mario Six78eba692018-03-28 14:38:17 +020019CONFIG_DISPLAY_BOARDINFO_LATE=y
Mario Six2aeb22d2018-03-28 14:38:16 +020020CONFIG_LAST_STAGE_INIT=y
Tom Riniadad96e2016-04-21 21:37:19 -040021CONFIG_HUSH_PARSER=y
Bin Meng0ac8d5e2016-05-22 01:45:30 -070022CONFIG_CMD_CPU=y
Tom Rini88663122017-08-14 19:58:53 -040023CONFIG_CMD_GPIO=y
Tom Rini89cb2b52016-04-24 17:29:26 -040024CONFIG_CMD_MMC=y
Patrick Delaunayb331cd62017-01-27 11:00:42 +010025CONFIG_CMD_PART=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040026CONFIG_CMD_SPI=y
27CONFIG_CMD_USB=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050028# CONFIG_CMD_SETEXPR is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040029CONFIG_CMD_DHCP=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050030# CONFIG_CMD_NFS is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040031CONFIG_CMD_PING=y
32CONFIG_CMD_TIME=y
Tom Rini89cb2b52016-04-24 17:29:26 -040033CONFIG_CMD_EXT2=y
34CONFIG_CMD_EXT4=y
35CONFIG_CMD_EXT4_WRITE=y
36CONFIG_CMD_FAT=y
37CONFIG_CMD_FS_GENERIC=y
Patrick Delaunayf18fa312017-01-27 11:00:36 +010038CONFIG_MAC_PARTITION=y
Patrick Delaunay1acc0082017-01-27 11:00:38 +010039CONFIG_ISO_PARTITION=y
Patrick Delaunaybd42a942017-01-27 11:00:41 +010040CONFIG_EFI_PARTITION=y
Adam Forde91907a2020-07-03 06:48:56 -050041CONFIG_ENV_OVERWRITE=y
Tom Rini8d8ee472019-11-12 22:46:36 -050042CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Bin Meng6b336872016-03-21 06:47:40 -070043CONFIG_NET_RANDOM_ETHADDR=y
Tero Kristo25094932021-05-12 11:03:04 +030044CONFIG_TFTP_TSIZE=y
Simon Glass15cf75e2016-03-11 22:07:14 -070045CONFIG_REGMAP=y
46CONFIG_SYSCON=y
Bin Meng0ac8d5e2016-05-22 01:45:30 -070047CONFIG_CPU=y
Adam Fordf1b1f772018-04-15 13:51:26 -040048CONFIG_SPI=y
Tom Rini645176d2016-09-08 16:31:26 -040049CONFIG_USB_STORAGE=y
Simon Glass4ef6ece2016-10-17 20:13:01 -060050CONFIG_USB_KEYBOARD=y
Tom Riniceefc662022-01-31 14:18:49 +000051CONFIG_GENERATE_ACPI_TABLE=y
Tom Rinid16c9d02020-05-26 15:06:17 -040052# CONFIG_GZIP is not set