> Your main problem, IMHO, will be concurrency, not interrupts.
> That is -- multiprocessor support. Because typical
> multiprocessor OS shares a lot more data between CPUs,
> and runs at least part of the kernel on ALL the CPUs.

Possibly. I think we'll tackle this by a separate kernel
instance/runtime per processor, and act like they're separate machines
.. akin to distributed programming.

But multiprocessor stuff is a long, long way off.