2009-06-30 17:17:49 +02:00
|
|
|
uses CONFIG_HAVE_MOVNTI
|
|
|
|
default CONFIG_HAVE_MOVNTI=1
|
2004-10-25 21:55:30 +02:00
|
|
|
dir /cpu/x86/tsc
|
2004-10-14 21:29:29 +02:00
|
|
|
dir /cpu/x86/mtrr
|
|
|
|
dir /cpu/x86/lapic
|
|
|
|
dir /cpu/x86/cache
|
2009-01-19 22:20:22 +01:00
|
|
|
dir /cpu/x86/smm
|
2004-10-14 21:29:29 +02:00
|
|
|
dir /cpu/intel/microcode
|
|
|
|
dir /cpu/intel/hyperthreading
|
2004-10-22 20:45:36 +02:00
|
|
|
driver model_f2x_init.o
|