CONFIG_TEST=y
CONFIG_ISR_STACK_SIZE=128
CONFIG_MAIN_STACK_SIZE=256
CONFIG_SYS_CLOCK_TICKS_PER_SEC=0
CONFIG_PRINTK=n
CONFIG_HPET_TIMER_IRQ_PRIORITY=2
CONFIG_IDT_NUM_VECTORS=33
CONFIG_CONSOLE=n
CONFIG_SERIAL=n
CONFIG_IPM=n
CONFIG_GPIO=n
CONFIG_USB=n
CONFIG_ERRNO=n
CONFIG_X86_KERNEL_OOPS=n
CONFIG_X86_MMU=n
CONFIG_TEST_USERSPACE=n
CONFIG_FORCE_NO_ASSERT=y