Cheers,
thanks for your advices, we will propably consider some of them during the design of successors to our current research OS.
For graphical user interface solutions from our group, please, have a look at http://demo.tudos.org/ and http://os.inf.tu-dresden.de/dope/.
Regards