This seems like a cool idea which might see some uses in the future. For now it seems like docs are lacking details, so I could not figure out how it works.
Does it only support risc? I saw the example written in C++. Which versions are supported? Is it common to use in kernel development? (AFAIK only NT uses cpp, right?)
Anyways, cool project. I could see it as an alternative for embedded development in the future.