Not a whole lot, no. There are some cryptic documents on the language and some various experiments I've done with the seL4 microkernel. Currently I'm working on getting the language solidified and the completing the implementation (and removing all the usual dependencies, so that it should be relatively straightforward to port to a fairly bare microkernel environment).