Re: L4 for asm-free OS'es?