2018-01-07 05:15:53 +08:00
|
|
|
CONFIG_TEST=y
|
2015-10-03 04:05:40 +08:00
|
|
|
CONFIG_ISR_STACK_SIZE=128
|
|
|
|
CONFIG_MAIN_STACK_SIZE=256
|
|
|
|
CONFIG_SYS_CLOCK_TICKS_PER_SEC=0
|
|
|
|
CONFIG_PRINTK=n
|
2015-10-10 04:23:25 +08:00
|
|
|
CONFIG_HPET_TIMER_IRQ_PRIORITY=2
|
|
|
|
CONFIG_IDT_NUM_VECTORS=36
|
2015-10-03 04:05:40 +08:00
|
|
|
CONFIG_CONSOLE=n
|
|
|
|
CONFIG_SERIAL=n
|
2015-11-11 00:15:07 +08:00
|
|
|
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
|
2015-12-05 04:39:36 +08:00
|
|
|
CONFIG_ERRNO=n
|
2018-05-24 03:00:51 +08:00
|
|
|
CONFIG_TEST_USERSPACE=n
|
2018-05-25 04:12:33 +08:00
|
|
|
CONFIG_FORCE_NO_ASSERT=y
|