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