4 Commits

Author	SHA1	Message	Date
chris	4c5586750b	Enable the use of a seperate statclock. ... Currently statclock runs at 64hz, maybe it should be faster or slower, I did try it being the same as hz, but that just made it look like we spent 10% of time handling interrupts, rather than the 3% that this gives. Also fix the IPL_LEVELS for netwinder.	2002-09-28 15:44:29 +00:00
chris	85fe6200b5	We have 9 IPL levels, not 8.	2002-09-28 10:23:26 +00:00
thorpej	e0c4ce6999	Use <arm/arm32/psl.h> rather than <machine/psl.h>.	2001-11-26 20:43:46 +00:00
chris	9e26feedf2	Finish off the cats arch dir by creating an include dir and populating it from ... arm32/include. Make use of std.cats in the kernel config. Fixup files.cats so it actually works.	2001-06-08 22:22:59 +00:00