Browse thread
Formal OS in OCAML
- Gregory BELLIER
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-05-20 (10:16) |
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.