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

#include <config/local/timer.h>

#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`

[build] Add support for local configuration files Include config/local/$file in config/$file where it makes sense and create empty local configs during build if not present. Modified-by: Michael Brown <mcb30@etherboot.org> Signed-off-by: Michael Brown <mcb30@etherboot.org> 2010-03-22 23:19:00 +01:00			`#include <config/local/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			`#endif /* CONFIG_TIMER_H */`