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