blob: 0a4c207ef9d6ba94d04afb2baef4cf3f0e6a35df [file] [log] [blame]
Bin Meng8d6ed122015-02-02 22:35:28 +08001CONFIG_X86=y
Tom Rini07edfae2018-02-03 12:10:38 -05002CONFIG_SYS_TEXT_BASE=0xFFF10000
Tom Rini2e262c42020-08-10 15:31:07 -04003CONFIG_NR_DRAM_BANKS=8
Tom Rini5cd7ece2019-11-18 20:02:10 -05004CONFIG_ENV_SIZE=0x1000
5CONFIG_ENV_OFFSET=0x0
Tom Rini47dece32020-04-28 16:15:47 -04006CONFIG_ENV_SECT_SIZE=0x1000
Tom Rini84610272020-07-28 08:46:52 -04007CONFIG_DEFAULT_DEVICE_TREE="galileo"
Bin Meng03b341b2015-04-27 23:22:24 +08008CONFIG_VENDOR_INTEL=y
Bin Meng8d6ed122015-02-02 22:35:28 +08009CONFIG_TARGET_GALILEO=y
Joe Hershberger17491a82015-06-22 16:15:29 -050010CONFIG_GENERATE_PIRQ_TABLE=y
Bin Meng50bec1e2016-05-22 01:45:36 -070011CONFIG_GENERATE_MP_TABLE=y
Simon Glasse3ee2fb2016-02-22 22:55:43 -070012CONFIG_FIT=y
Simon Glasse767d0b2019-07-20 20:51:12 -060013CONFIG_SHOW_BOOT_PROGRESS=y
Sam Protsenkobd7bffe2017-08-14 20:22:17 +030014CONFIG_USE_BOOTARGS=y
15CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
Tom Rini5ddf1722021-11-10 09:11:40 -050016CONFIG_USE_BOOTCOMMAND=y
17CONFIG_BOOTCOMMAND="ext2load scsi 0:3 01000000 /boot/vmlinuz; zboot 01000000"
Simon Glassbd5618d2016-10-17 20:13:00 -060018CONFIG_SYS_CONSOLE_INFO_QUIET=y
Mario Sixf7055442018-03-28 14:38:17 +020019CONFIG_DISPLAY_BOARDINFO_LATE=y
Mario Six8febc7a2018-03-28 14:38:16 +020020CONFIG_LAST_STAGE_INIT=y
Tom Rinif852e732016-04-21 21:37:19 -040021CONFIG_HUSH_PARSER=y
Bin Mengba634572016-05-22 01:45:30 -070022CONFIG_CMD_CPU=y
Tom Rini78873cd2017-08-14 19:58:53 -040023CONFIG_CMD_GPIO=y
Tom Rini1d9ac832016-04-24 17:29:26 -040024CONFIG_CMD_MMC=y
Patrick Delaunay73287092017-01-27 11:00:42 +010025CONFIG_CMD_PART=y
Tom Rini0f2dcb92016-04-22 16:41:25 -040026CONFIG_CMD_SPI=y
27CONFIG_CMD_USB=y
Joe Hershberger5a9d7f12015-06-22 16:15:30 -050028# CONFIG_CMD_SETEXPR is not set
Tom Rini0f2dcb92016-04-22 16:41:25 -040029CONFIG_CMD_DHCP=y
Joe Hershberger5a9d7f12015-06-22 16:15:30 -050030# CONFIG_CMD_NFS is not set
Tom Rini0f2dcb92016-04-22 16:41:25 -040031CONFIG_CMD_PING=y
32CONFIG_CMD_TIME=y
Tom Rini1d9ac832016-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 Delaunayc4bbbec2017-01-27 11:00:36 +010038CONFIG_MAC_PARTITION=y
Patrick Delaunay21d3bce2017-01-27 11:00:38 +010039CONFIG_ISO_PARTITION=y
Patrick Delaunay8a4f2bd2017-01-27 11:00:41 +010040CONFIG_EFI_PARTITION=y
Adam Ford710966e2020-07-03 06:48:56 -050041CONFIG_ENV_OVERWRITE=y
Tom Rinica63e712019-11-12 22:46:36 -050042CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Bin Meng6dd8ddc2016-03-21 06:47:40 -070043CONFIG_NET_RANDOM_ETHADDR=y
Tero Kristo0624c812021-05-12 11:03:04 +030044CONFIG_TFTP_TSIZE=y
Simon Glassfb8757b2016-03-11 22:07:14 -070045CONFIG_REGMAP=y
46CONFIG_SYSCON=y
Bin Mengba634572016-05-22 01:45:30 -070047CONFIG_CPU=y
Adam Ford4e96ff82018-04-15 13:51:26 -040048CONFIG_SPI=y
Tom Rini6e9cb112016-09-08 16:31:26 -040049CONFIG_USB_STORAGE=y
Simon Glass049f06a2016-10-17 20:13:01 -060050CONFIG_USB_KEYBOARD=y
Tom Rinia03e2762022-01-31 14:18:49 +000051CONFIG_GENERATE_ACPI_TABLE=y
Tom Rini4a060b72020-05-26 15:06:17 -040052# CONFIG_GZIP is not set