joerg e47a5502a7 Use gettimeofday as timecounter.		2008-01-07 17:27:12 +00:00
..
compile
conf	Add GENERIC32 configuration file for 32 bit architectures. This	2007-12-29 20:22:25 +00:00
dev	Use gettimeofday as timecounter.	2008-01-07 17:27:12 +00:00
include	Use gettimeofday as timecounter.	2008-01-07 17:27:12 +00:00
usermode	Use gettimeofday as timecounter.	2008-01-07 17:27:12 +00:00