Archives of the Caml mailing list > Message from Vincenzo Ciancia

Browse thread

Using OCaml in a kernel

Jonathan Roewen
- Sachin Shah
- Ville-Pertti Keinonen
  - Jonathan Roewen
    - Jacques Garrigue
      - Jonathan Roewen
        
        Ville-Pertti Keinonen
        
        Jonathan Roewen
        
        skaller
      - Jonathan Roewen
- Vincenzo Ciancia
- Frédéric_Gava

Date:	-- (:)
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 
there:

http://64.81.145.152/~arty/caml.html

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

http://caml.inria.fr/humps/caml_System_programming.html

Bye

Vincenzo