src/cpu/intel/model_f2x/Config.lb

   1 uses CONFIG_UDELAY_TSC
   2
   3 dir /cpu/x86/mtrr
   4 dir /cpu/x86/fpu
   5 dir /cpu/x86/mmx
   6 dir /cpu/x86/sse
   7 dir /cpu/x86/lapic
   8 dir /cpu/x86/cache
   9 dir /cpu/intel/microcode
  10 dir /cpu/intel/hyperthreading
  11 driver model_f2x_init.o
  12
  13 if CONFIG_UDELAY_TSC
  14         dir /cpu/x86/tsc
  15 else
  16         object apic_timer.o
  17 end