src/config/timer.h

#ifndef CONFIG_TIMER_H
#define CONFIG_TIMER_H

/** @file
 *
 * Timer configuration.
 *
 */

FILE_LICENCE ( GPL2_OR_LATER );

#include <config/defaults.h>

//#undef		TIMER_PCBIOS
//#define		TIMER_RDTSC

#endif /* CONFIG_TIMER_H */
[timer] Formalise the timer API We now have two implementations for the timer API: one using the time-of-day counter at 40:70 and one using RDTSC. Both make use of timer2_udelay(). 2008-10-12 19:56:52 +01:00			`#ifndef CONFIG_TIMER_H`
			`#define CONFIG_TIMER_H`

			`/** @file`
			`*`
			`* Timer configuration.`
			`*`
			`*/`

[legal] Add a selection of FILE_LICENCE declarations Add FILE_LICENCE declarations to almost all files that make up the various standard builds of gPXE. 2009-05-01 15:41:06 +01:00			`FILE_LICENCE ( GPL2_OR_LATER );`

[timer] Formalise the timer API We now have two implementations for the timer API: one using the time-of-day counter at 40:70 and one using RDTSC. Both make use of timer2_udelay(). 2008-10-12 19:56:52 +01:00			`#include <config/defaults.h>`

			`//#undef TIMER_PCBIOS`
			`//#define TIMER_RDTSC`

			`#endif /* CONFIG_TIMER_H */`