where are the headers?
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/.
TU Dresden, Dept. of CS
Operating Systems Group
More information about the l4-hackers