4b293a84e1
- Reduce available SPL levels for hardware devices to none, vm, sched, high. - Acquire kernel_lock only for interrupts at IPL_VM. - Implement threaded soft interrupts. |
||
---|---|---|
.. | ||
files.compat | ||
files.xen | ||
Makefile.arch.inc | ||
Makefile.xen | ||
std.xen |