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_NUM_TASK_PRIORITIES=2 | |
CONFIG_NUM_COMMAND_PACKETS=8 | |
CONFIG_NUM_TIMER_PACKETS=4 | |
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 | |
CONFIG_LEGACY_KERNEL=y |