K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2008-11-19T22:12:32.650892Z
K 7
svn:log
V 284
Use the interrupt level right below PIL_FAST for executing interrupt
filters instead of PIL_FAST and allow special filters and handlers
for interrupts which need to be able to interrupt even filters, f.e.
bus error interrupts, to be registered with the revived INTR_FAST
at PIL_FAST.

END