where are the headers?

[Christian Helmuth]

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
-- 
Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group
http://os.inf.tu-dresden.de/~ch12