With all the talk about exotic new languages, I just wanted to see if there is any interest out there for an “old”, “boring” language like Ada/SPARK on Genode. (SPARK is an Ada dialect focused on formal verification.)
A few years ago, there was some very interesting work (and Genodians articles) in this area (RIP Spunky 
). The work at Genode Labs was discontinued, but I still think there is a lot of potential there.