Reminds me of SPIN (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8338 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8...) and Singula

Reminds me of SPIN (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8338 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8...) and Singularity (http://research.microsoft.com/apps/pubs/default.aspx?id=69431 http://research.microsoft.com/apps/pubs/default.aspx?id=6943...) - putting a compiler in the kernel lets you control what runs on the system without using hardware protection barriers, as well as enables better optimization against the running system.