From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathan.roewen@gmail.com>
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id DC8A2BC51
	for <caml-list@yquem.inria.fr>; Mon,  6 Dec 2004 01:48:24 +0100 (CET)
Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.192])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iB60mOvQ004479
	for <caml-list@yquem.inria.fr>; Mon, 6 Dec 2004 01:48:24 +0100
Received: by rproxy.gmail.com with SMTP id j1so101775rnf
        for <caml-list@yquem.inria.fr>; Sun, 05 Dec 2004 16:48:23 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding;
        b=FWRG2eIT9stpgqFUN69T1tXRF2S7vvfdnAG7YENzYwvFpmegYTN3keVCdR48zZznKYeUkFn2xVdUH/WbiKoc3cI0NEVUN95JMjmS+o1ooZ43cISgSabxoKm57Gi4me8NDIojXA38l00MyVsPD/dOUiTuFVqVpWakG5a6kTTcnsc=
Received: by 10.38.101.37 with SMTP id y37mr177165rnb;
        Sun, 05 Dec 2004 16:48:23 -0800 (PST)
Received: by 10.38.209.61 with HTTP; Sun, 5 Dec 2004 16:48:23 -0800 (PST)
Message-ID: <ad8cfe7e04120516485e090a7f@mail.gmail.com>
Date: Mon, 6 Dec 2004 13:48:23 +1300
From: Jonathan Roewen <jonathan.roewen@gmail.com>
Reply-To: Jonathan Roewen <jonathan.roewen@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Using OCaml in a kernel
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Miltered: at nez-perce with ID 41B3AC58.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; ocaml:01 ocaml:01 ocamlopt:01 compiler:01 gcc:01 kernel:01 library:03 suggestions:05 target:92 i'm:08 i'm:08 jump:08 function:08 file:08 things:11 
X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled 
	version=3.0.0
X-Spam-Level: 

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