mycroft 58b3010e87 Use %eax slightly more effectively in cpu_switch().		1994-11-06 20:51:46 +00:00
..
boot	new RCS ID format.	1994-10-27 04:14:23 +00:00
compile	new RCS ID format.	1994-10-27 04:14:23 +00:00
conf	EISA devices have no DRQ.	1994-11-04 08:24:25 +00:00
eisa	No longer needs icu.h.	1994-11-04 18:59:34 +00:00
i386	Use %eax slightly more effectively in cpu_switch().	1994-11-06 20:51:46 +00:00
include	As pointed out by Bruce, splsoftclock() needs to process pending interrupts	1994-11-06 01:37:47 +00:00
isa	Fix stupid bug in last change.	1994-11-04 23:30:15 +00:00
netboot	new RCS ID format.	1994-10-27 04:14:23 +00:00
pci	Change all of the uses of IRQ{0-15} and bit masks to use plain numbers	1994-11-04 18:34:50 +00:00
stand	new RCS ID format.	1994-10-27 04:14:23 +00:00
Makefile	new RCS ID format.	1994-10-27 04:14:23 +00:00