> BTW, is your task switcher preemptive (ie. an interrupt may lead
> immediately to a task switch)?

Yes :-) (round-robbin with aging) But it is not realtime, a task
can Forbid() anytime it wants.