| CONFIG_X86=y |
| CONFIG_SOC_IA32=y |
| CONFIG_BOARD_QEMU_X86=y |
| CONFIG_CPU_MINUTEIA=y |
| CONFIG_IA32_LEGACY_IO_PORTS=y |
| CONFIG_HPET_TIMER=y |
| CONFIG_HPET_TIMER_IRQ=2 |
| CONFIG_HPET_TIMER_LEVEL_LOW=y |
| CONFIG_HPET_TIMER_LEGACY_EMULATION=y |
| CONFIG_HPET_TIMER_RISING_EDGE=y |
| CONFIG_PIC_DISABLE=y |
| CONFIG_LOAPIC=y |
| CONFIG_CONSOLE=y |
| CONFIG_SERIAL=y |
| CONFIG_UART_NS16550=y |
| CONFIG_UART_CONSOLE=y |
| CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000 |
| CONFIG_TOOLCHAIN_VARIANT="iamcu" |
| CONFIG_X86_IAMCU=y |
| CONFIG_XIP=y |
| CONFIG_X86_MMU=y |
| CONFIG_HW_STACK_PROTECTION=y |
| CONFIG_USERSPACE=y |
| CONFIG_APPLICATION_MEMORY=y |
