Atm the barriers are all the unstable features you need to rely on as well as rust and LLVM bugs. The LLVM bug I've encountered makes it impossible to properly

Atm the barriers are all the unstable features you need to rely on as well as rust and LLVM bugs. The LLVM bug I've encountered makes it impossible to properly handle interrupts with error codes unless you use [naked], which is unreliable in my experience. The Rust bugs are on one hand a None variable being initialized to a Some() value and a bug where rust injects a few instructions between inline assembly that corrupt the stack. These problems can usually be worked around in some ways, it's annoying and means the rust compiler is not quite there yet. However, with rust it's easier to reason about why an error occured than in C, atleast in my experience, although some things can only be found out by trial and error (corrupted stack or hitting undefined instructions), as a result I would predict that Rust could result in a lot more fun designs and architectures than simply writing a Microkernel (Redox).