Hi,
The Rebol programming language has recently gone open source. It also has an existing open source equivalent of the Red language. Rebol code is designed to accomplish tasks with a minimum of coding. It seems that both Rebol and Genode have similar approaches to computing: a simplified, efficient means of getting things done. Could the adoption of Rebol or Red language help to get goals achieved in Genode? For example, just in getting a usable system up and running, so that more people could use the OS, and further development could then progress faster?
Also, have you given up on the live CD demo as a 2013 goal?