src/cpu/amd/model_fxx/Config.lb

   1 uses CONFIG_HAVE_INIT_TIMER
   2 uses CONFIG_HAVE_MOVNTI
   3 uses CONFIG_CPU_ADDR_BITS
   4
   5 default CONFIG_HAVE_INIT_TIMER=1
   6 default CONFIG_HAVE_MOVNTI=1
   7 default CONFIG_CPU_ADDR_BITS=40
   8 dir /cpu/x86/tsc
   9 dir /cpu/x86/lapic
  10 dir /cpu/x86/cache
  11 dir /cpu/x86/pae
  12 dir /cpu/x86/smm
  13 dir /cpu/amd/mtrr
  14 dir /cpu/amd/dualcore
  15 dir /cpu/amd/microcode
  16 driver model_fxx_init.o
  17 object apic_timer.o
  18 object model_fxx_update_microcode.o
  19 object processor_name.o
  20 object powernow_acpi.o