Guillaume FORTAINE wrote:
Hello all,
I believe it's time to use ne tools to develop a robust l4 based os. here are my suggestions :
I was thinking about writing a message along these lines too. =)
c++ multithreaded language : http://plg.uwaterloo.ca/~usystem/uC++.html
Interesting. Almost all of these links are new to me. =)
My own OS project, to a large part influenced by L4, "Sphere", -- article available on request, among other things, aims to expose more of the awesome features of the modern microkernel OS to the user.
parrallel and asychronous api: https://gforge.inria.fr/projects/kaapi/
One of the main features of my OS design is an assynchronous IPC system.
(scheduler and api for l4) => focused on performance : could not we consider a pc as an asynchronous platform ?
compiler : http://llvm.org/
My concern here is locking in to a specific compiler technology. A decient OS will support multiple languages concurrently.
A new concept : a meta-distribution (port for hurd planned :-) !)
My main gripe against hurd/linux/minix/bsd etc is that they are ALL UNIX. I HATE UNIX.
I believe with this new tools we can construct the best system ever ...
I'm not completely certain about this selection of tools, but the "best system ever" part is indisputable. ;)