Kconfig!
[coreboot.git] / src / cpu / x86 / tsc / Makefile.inc
1 obj-y += delay_tsc.o
2
3 # default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2=0
4 # if CONFIG_UDELAY_TSC 
5 #       default CONFIG_HAVE_INIT_TIMER=1
6 #       object delay_tsc.o  
7 # end