Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Frédéric_Gava <frederic.gava@w...>
Subject: Re: [Caml-list] Using OCaml in a kernel
Hi,

peraps this paper of Xavier Leroy could help you.:
http://pauillac.inria.fr/~xleroy/publi/unix-in-caml.ps.gz

Cheers,
Frédéric Gava

> 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.
>
> However, I'm lost at how to get OCaml into the mix. Anyone able to
> offer some suggestions of the sorts of things I could try?
>
> Currently I have a single .ml file that will hopefully start all the
> major tasks, and a couple of supporting C files, and I'm trying to
> jump into OCaml from my main function in C-land.
>
> Regards,
>
> Jonathan Roewen
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>