Xous is the operating system backing Betrusted and Precursor. It is a microkernel operating system that enforces process separation. The main Xous process is only a few kilobytes, and nearly everything -- even preemption -- is dedicated to userspace processes.