English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Using OCaml in a kernel
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-12-06 (09:08)
From: Vincenzo Ciancia <vincenzo_mlRE.MOVE@y...>
Subject: Re: [Caml-list] Using OCaml in a kernel
On Monday 06 December 2004 01:48, Jonathan Roewen wrote:
> 01:48, 6/12/2004
> Hi All,
> I'm developing an operating system, and I want to write as much of it
> as possible in OCaml. I had hoped to use the ocamlopt compiler, and
> have it target i586-elf, like my gcc (3.4.1) cross-compiler. I'm
> using newlib with my cross-compiler, so I have a C library available.

You could perhaps find "linux kernel caml" interesting. It used to be 

but it's no longer available. However, this project is listed on the 
caml humps: