CONFIG_TEST=y
CONFIG_ISR_STACK_SIZE=512
CONFIG_MAIN_STACK_SIZE=512
CONFIG_PRINTK=y
CONFIG_IDT_NUM_VECTORS=128
CONFIG_USB=n
CONFIG_X86_MMU=n
CONFIG_TEST_USERSPACE=n
CONFIG_FORCE_NO_ASSERT=y