John Baldwin 37ea3ced36 Reenable preemption on interrupts. My last commit accidentally reverted
it as I was playing with some other ways of doing kernel preemption.

You must still specify the PREEMPTION option in your config file to get a
preemptive kernel.
2001-02-10 02:46:50 +00:00
..
2001-02-06 11:21:58 +00:00
2000-12-30 22:06:19 +00:00
2001-01-29 06:18:14 +00:00
2001-02-06 11:21:58 +00:00
2001-02-09 17:48:33 +00:00
2001-02-08 13:24:30 +00:00
2001-02-02 02:35:40 +00:00