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