Hi,

Just a simple question: how does Thread.critical_section ever get set
to false? I see mutex.ml sets it to true, as does condition.ml, but
neither set to false.

Does this mean pre-emption won't work as soon as a mutex is locked?
This -might- explain the weird lockup I'm experiencing with my OS/NIC
driver, as when it locks up (there's no fatal exception being
propagated) not even the timer interrupt which does preemption seems
to do anything (the keyboard driver -should- still run, for instance).

Jonathan