CONFIG_TEST=y CONFIG_ISR_STACK_SIZE=128 CONFIG_MAIN_STACK_SIZE=256 CONFIG_COMMAND_STACK_SIZE=2 CONFIG_SYS_CLOCK_TICKS_PER_SEC=0 CONFIG_PRINTK=n CONFIG_HPET_TIMER_IRQ_PRIORITY=2 CONFIG_IDT_NUM_VECTORS=36 CONFIG_CONSOLE=n CONFIG_SERIAL=n CONFIG_PINMUX=n CONFIG_I2C=n CONFIG_GPIO=n CONFIG_PWM=n CONFIG_SPI=n CONFIG_ADC=n CONFIG_SHARED_IRQ=n CONFIG_PCI_LEGACY_BRIDGE=n CONFIG_ERRNO=n