where are the headers?

Christian Helmuth ch12 at os.inf.tu-dresden.de
Wed Jul 19 09:45:33 CEST 2006


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/.

Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group

More information about the l4-hackers mailing list