2015-04-18 01:55:36 +08:00
|
|
|
CONFIG_MICROKERNEL=y
|
2015-09-14 06:35:58 +08:00
|
|
|
CONFIG_X86_32=y
|
|
|
|
CONFIG_PLATFORM_IA32=y
|
2015-07-30 01:59:01 +08:00
|
|
|
CONFIG_CPU_MINUTEIA=y
|
2015-06-20 08:57:45 +08:00
|
|
|
CONFIG_HPET_TIMER=y
|
2015-09-14 06:35:58 +08:00
|
|
|
CONFIG_HPET_TIMER_IRQ=2
|
|
|
|
CONFIG_HPET_TIMER_LEVEL_LOW=n
|
|
|
|
CONFIG_HPET_TIMER_LEGACY_EMULATION=y
|
|
|
|
CONFIG_HPET_TIMER_RISING_EDGE=n
|
|
|
|
CONFIG_PIC_DISABLE=y
|
|
|
|
CONFIG_LOAPIC=y
|
|
|
|
CONFIG_CONSOLE=y
|
|
|
|
CONFIG_SERIAL=y
|
|
|
|
CONFIG_NS16550=y
|
|
|
|
CONFIG_UART_CONSOLE=y
|
|
|
|
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
|
2015-09-12 17:36:16 +08:00
|
|
|
|