From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <samuel.thibault@labri.fr>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 7A374BC37
	for <caml-list@yquem.inria.fr>; Thu, 28 Jan 2010 13:55:31 +0100 (CET)
X-IronPort-AV: E=Sophos;i="4.49,359,1262559600"; 
   d="scan'208";a="54849569"
Received: from unknown (HELO const.ipv6) ([193.50.110.76])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 Jan 2010 13:55:31 +0100
Received: from samy by const.ipv6 with local (Exim 4.71)
	(envelope-from <samuel.thibault@labri.fr>)
	id 1NaTuE-0001cx-Br; Thu, 28 Jan 2010 13:55:30 +0100
Date: Thu, 28 Jan 2010 13:55:30 +0100
From: Samuel Thibault <samuel.thibault@inria.fr>
To: Konstantin Tcholokachvili <tcholoka@gmail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Ocaml implementation and low level details
Message-ID: <20100128125530.GS4873@const.bordeaux.inria.fr>
References: <ecafee001001280442p3d8edc81jbbab51fd269211f1@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <ecafee001001280442p3d8edc81jbbab51fd269211f1@mail.gmail.com>
User-Agent: Mutt/1.5.12-2006-07-14
X-Spam: no; 0.00; thibault:01 thibault:01 ocaml:01 0100,:01 ocaml:01 dormant:98 threads:01 caml-list:01 boot:01 caml:02 kernel:02 thu:05 ecrit:06 inria:06 wrapper:10 

Konstantin Tcholokachvili, le Thu 28 Jan 2010 13:42:15 +0100, a écrit :
> I am writing an operating system kernel and I am considering the idea of
> rewritting it in Ocaml or make a wrapper.

You may want to have a look at the funk gna project. Although dormant at
the moment, it does boot, has caml threads etc.

http://gna.org/projects/funk/

Samuel