src/cpu/amd/model_fxx/Config.lb

   1 uses HAVE_INIT_TIMER
   2 uses HAVE_MOVNTI
   3 uses CPU_ADDR_BITS
   4
   5 default HAVE_INIT_TIMER=1
   6 default HAVE_MOVNTI=1
   7 default CPU_ADDR_BITS=40
   8 dir /cpu/x86/tsc
   9 dir /cpu/x86/fpu
  10 dir /cpu/x86/mmx
  11 dir /cpu/x86/sse
  12 dir /cpu/x86/lapic
  13 dir /cpu/x86/cache
  14 dir /cpu/x86/pae
  15 dir /cpu/x86/smm
  16 dir /cpu/amd/mtrr
  17 dir /cpu/amd/dualcore
  18 dir /cpu/amd/microcode
  19 driver model_fxx_init.o
  20 object apic_timer.o
  21 object model_fxx_update_microcode.o
  22 object processor_name.o