| CONFIG_X86_HDBOOT=y |
| CONFIG_STACK_SIZE=0x7000 |
| CONFIG_BROKEN=y |
| CONFIG_EXPERIMENTAL=y |
| CONFIG_PROMPT="barebox:" |
| CONFIG_LONGHELP=y |
| CONFIG_GLOB=y |
| CONFIG_CMDLINE_EDITING=y |
| CONFIG_AUTO_COMPLETE=y |
| CONFIG_PARTITION=y |
| CONFIG_DEFAULT_ENVIRONMENT_PATH="arch/x86/boards/x86_generic/env" |
| CONFIG_DEBUG_INFO=y |
| CONFIG_CMD_EDIT=y |
| CONFIG_CMD_SLEEP=y |
| CONFIG_CMD_SAVEENV=y |
| CONFIG_CMD_LOADENV=y |
| CONFIG_CMD_EXPORT=y |
| CONFIG_CMD_PRINTENV=y |
| CONFIG_CMD_READLINE=y |
| # CONFIG_CMD_TRUE is not set |
| # CONFIG_CMD_FALSE is not set |
| CONFIG_CMD_MEMINFO=y |
| # CONFIG_CMD_BOOTM is not set |
| CONFIG_CMD_RESET=y |
| CONFIG_CMD_GO=y |
| CONFIG_CMD_TIMEOUT=y |
| CONFIG_DRIVER_SERIAL_NS16550=y |
| # CONFIG_SPI is not set |
| CONFIG_ATA=y |
| CONFIG_ATA_DISK=y |
| CONFIG_ATA_BIOS=y |
