Version française
Home     About     Download     Resources     Contact us    
Browse thread
Formal OS in OCAML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Gregory BELLIER <gregory.bellier@g...>
Subject: Formal OS in OCAML
Hello,

do you have some news about the "Desert-Spring-Time" project ?
Is there something new since April, 26th 2007  
[http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ?

Where can we get the sources, continue the project or learn from it ?

Do you know a similar project i.e a formal OS in OCAML ?

Thank you,
    Gregory.





[french version]
Bonjour,

Auriez-vous des nouvelles du projet "Desert-Spring-Time" ?
Est-ce qu'il a avancé depuis le 26 avril 2007  
[http://cia.vc/stats/project/Desert-Spring-Time?s_message=0R] ?
Comment peut-on récupérer les sources pour poursuivre le projet ou s'en 
inspirer ?
Auriez-vous la connaissance d'un projet similaire (développement d'un OS 
formel en Ocaml) ?

Merci,
    Gregory.