The future of L4

[Xavier Grave]

Hi,

pragma Troll (off);
We have similar plan except for the chosen language...
For reability I prefer Ada. I have played a bit with a tiny os and
exception handling, OO and native ada task where suported in it with
little effort.
pragma Troll (on);
I have started to develop some few things on top of pistachio, some
people joined me after, but we lack time for further development.
I'll try to find some time to progress on this, if somebody is
interested, your are welcome :)

xavier
PS: Guillaume, if you want you can call me on phone if you want since we
seem to live in the same country (my lab tel : 01 69 15 79 59)

Le mardi 01 août 2006 à 03:42 +0200, Guillaume FORTAINE a écrit :
> Hello,
> 
> I believe we need only one language and not multiple languages : why ? 
> There are few developers for L4, no need to divide them ....
> 
> C++ is for me the best language ever :
> 
> In the order ;-) !:
> 
> Hardware design :
> 
> http://www.systemc.org/
> 
> Low level optimization :
> 
> http://llvm.org
> 
> 
> llvm is for fpga programming (used by los alamos ;-) !) :
> 
> 
> High level programming :
> 
> c++ with concurrency : u++
> 
> http://plg.uwaterloo.ca/~usystem/uC++.html
> 
> 
> Metaprogramming :
> 
> http://opencxx.sourceforge.net/
> 
> 
> No language was so powerful !
> 
> If you hate unix, you can try plan9 : http://cm.bell-labs.com/plan9/
> 
> 
> 
> Future plans :
> 
> An alpha kernel for work ( mix of L4.x2 v6 and L4.sec)
> 
> A robust file system ( I think data log like nilfs with encryption 
> support => trustedFS)
> 
> A device driver development framework (like linux driver develoment kit)
> 
> Support for sound/video
> 
> 
> I sincerely believe that we need to focus on the best things that Linux 
> produces and put our efforts to simplify them (one file system, sound 
> system, video system, desktop environment system) to reasonably produce 
> an alpha os usable and not to wait 2020 or so to have only an IDE driver ...
> 
> 
> 
> 
> Best Regards,
> 
>                    Guillaume FORTAINE
> 
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers