[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

HURD : A restatement

From: Guillaume FORTAINE
Subject: HURD : A restatement
Date: Thu, 10 Aug 2006 00:04:59 +0200
User-agent: Mail/News (X11/20060524)

Hello Mr Walfield,

Here are very interesting links :




I believe that the *main* problem for HURD will not be the design or something else. It would be the adhesion of a large community to a well-defined language. It's clear that the best option would be to get rid of C ... :-).


Here is my point of view Language ( Mix of Mercury/Clean/Bitc ???) => Kernel ( coyotos )=> OS ( compiler : Bitc ( verified compiler )?, replacement of glibc, device driver framework : http://symbolx.org/ddf.html ).

As the L4 kernel has no more leader, and the community doesn't seem to be very reactive, the only suitable alternative is the coyotos project.

A good start point is the HOuse project :

HOuse : http://www.cse.ogi.edu/~hallgren/House/

Best Regards,

              Guillaume FORTAINE

reply via email to

[Prev in Thread] Current Thread [Next in Thread]