[okl4-developer] SMP in OKL4

[Jamie Lennox]

I know not all versions of L4 support SMP, however i've always had it in
my head that OKL4 was multi-entrant. But when looking through the trap
code there is no interrupt disabling but no locking of critical
sections, or at least that i could see. I'm pretty sure its wrapped up
in the continuations but reading through the ia32 code they seem to be
passed around more than ever actually set.

Can someone give me a run-down on how the kernel handles multiple
requests and possibly the continuation model, where they are invoked.

Thanks 
Jamie