The future of L4

[Guillaume FORTAINE]

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