1 CONFIG_X86=y 2 CONFIG_SYS_TEXT_BASE=0xFFF10000 3 CONFIG_VENDOR_INTEL=y 4 CONFIG_TARGET_GALILEO=y 5 CONFIG_GENERATE_PIRQ_TABLE=y 6 CONFIG_GENERATE_MP_TABLE=y 7 CONFIG_GENERATE_ACPI_TABLE=y 8 CONFIG_NR_DRAM_BANKS=8 9 CONFIG_FIT=y 10 CONFIG_USE_BOOTARGS=y 11 CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro" 12 CONFIG_SYS_CONSOLE_INFO_QUIET=y 13 CONFIG_DISPLAY_BOARDINFO_LATE=y 14 CONFIG_LAST_STAGE_INIT=y 15 CONFIG_HUSH_PARSER=y 16 CONFIG_CMD_CPU=y 17 # CONFIG_CMD_FLASH is not set 18 CONFIG_CMD_GPIO=y 19 CONFIG_CMD_MMC=y 20 CONFIG_CMD_PART=y 21 CONFIG_CMD_SF=y 22 CONFIG_CMD_SPI=y 23 CONFIG_CMD_USB=y 24 # CONFIG_CMD_SETEXPR is not set 25 CONFIG_CMD_DHCP=y 26 # CONFIG_CMD_NFS is not set 27 CONFIG_CMD_PING=y 28 CONFIG_CMD_TIME=y 29 CONFIG_CMD_EXT2=y 30 CONFIG_CMD_EXT4=y 31 CONFIG_CMD_EXT4_WRITE=y 32 CONFIG_CMD_FAT=y 33 CONFIG_CMD_FS_GENERIC=y 34 CONFIG_MAC_PARTITION=y 35 CONFIG_ISO_PARTITION=y 36 CONFIG_EFI_PARTITION=y 37 CONFIG_DEFAULT_DEVICE_TREE="galileo" 38 CONFIG_NET_RANDOM_ETHADDR=y 39 CONFIG_REGMAP=y 40 CONFIG_SYSCON=y 41 CONFIG_CPU=y 42 CONFIG_SPI=y 43 CONFIG_USB_STORAGE=y 44 CONFIG_USB_KEYBOARD=y 45