This repository started as a clone of seL4/sel4test, and it contains my seL4 experiments: I'm trying to learn about the system calls, the utility libraries, and seL4 in general. Everything here is work in progress...