uses CONFIG_HAVE_INIT_TIMER | |
uses CONFIG_HAVE_MOVNTI | |
uses CONFIG_CPU_ADDR_BITS | |
default CONFIG_HAVE_INIT_TIMER=1 | |
default CONFIG_HAVE_MOVNTI=1 | |
default CONFIG_CPU_ADDR_BITS=40 | |
dir /cpu/x86/tsc | |
dir /cpu/x86/lapic | |
dir /cpu/x86/cache | |
dir /cpu/x86/pae | |
dir /cpu/x86/smm | |
dir /cpu/amd/mtrr | |
dir /cpu/amd/dualcore | |
dir /cpu/amd/microcode | |
driver model_fxx_init.o | |
object apic_timer.o | |
object model_fxx_update_microcode.o | |
object processor_name.o | |
object powernow_acpi.o |