A fun experiment for this would be to define a mini version of what I have planned for mnemos:

* Have the "userspace" app be compiled using thumbv6m-none-eabi for portability reasons
* Use ergot as the ABI: do message passing from userspace to the kernel
* You could theoretically run this from RAM, from a fixed flash addr, or in qemu with the ergot interface bridged out over a serial port