CONFIG_ISR_STACK_SIZE=2048
CONFIG_MAIN_STACK_SIZE=1024
CONFIG_COMMAND_STACK_SIZE=64
CONFIG_PRINTK=y
CONFIG_STDOUT_CONSOLE=y
CONFIG_IDT_NUM_VECTORS=256
CONFIG_NUM_TASK_PRIORITIES=64
CONFIG_NUM_COMMAND_PACKETS=64
CONFIG_NUM_TIMER_PACKETS=16
CONFIG_MICROKERNEL_SERVER_STACK_SIZE=4096

CONFIG_ADVANCED_POWER_MANAGEMENT=y

CONFIG_MAX_NUM_TASK_IRQS=2

CONFIG_FLOAT=y
CONFIG_SSE=y
CONFIG_FP_SHARING=y