Thanks! Though I don't want to overstate where we are at this point. I implemented all this at the "syscall" level for an extremely toy simulated computer. We don't really yet have the chops to implement syscalls in a real-world OS. But my collaborator and I have been slowly learning what we need. The first system we've been playing with is OpenBSD.
