Genode Live Demonstration 2010-11
2011.05.10
Так как Genode — это не совсем операционная система в привычном смысле, а скорее нечто (“Operating System Framework”), работающее на разных ядрах и использующее виртуализацию, здесь, кроме собственно GUI под названием Nitpicker, есть и TinyCore Linux, запущенный в окошке.