Browse thread
Using OCaml in a kernel
[
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: | 2004-12-06 (09:58) |
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 >