A simple seL4-based operating system.
Only a GNU Emacs cheat sheet right now, I'll add more as I need them.