Hello all, I believe it's time to use ne tools to develop a robust l4 based os. here are my suggestions : c++ multithreaded language : http://plg.uwaterloo.ca/~usystem/uC++.html c++ library : http://cxx.uclibc.org/ Could we replace glibc with uclibc++ and ntpl with the uc++ language ? build system : http://www.exactcode.de/oss/exact-build/index.html parrallel and asychronous api: https://gforge.inria.fr/projects/kaapi/ (scheduler and api for l4) => focused on performance : could not we consider a pc as an asynchronous platform ? video server : http://xcb.freedesktop.org/wiki/ X.org was not thought for multithread. It's time to change ;-) ! parser: http://www.cs.berkeley.edu/~smcpeak/elkhound/ compiler : http://llvm.org/ (used by los alamos laboratory ;-) !) Sound : http://www.alsa-project.org/ system development environment : http://www.t2-project.org/ A new concept : a meta-distribution (port for hurd planned :-) !) debuggers : http://www.cs.berkeley.edu/~dsw/oink.html http://valgrind.org/ I believe with this new tools we can construct the best system ever ... Best Regards, Guillaume FORTAINE