From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 856F3BC2F for ; Mon, 6 Dec 2004 10:58:54 +0100 (CET) Received: from smtp5.wanadoo.fr (smtp5.wanadoo.fr [193.252.22.26]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iB69wseW023338 for ; Mon, 6 Dec 2004 10:58:54 +0100 Received: from me-wanadoo.net (unknown [127.0.0.1]) by mwinf0502.wanadoo.fr (SMTP Server) with SMTP id 2B37C1C00160; Mon, 6 Dec 2004 10:58:54 +0100 (CET) Received: from nono (ARouen-106-1-3-105.w217-128.abo.wanadoo.fr [217.128.210.105]) by mwinf0502.wanadoo.fr (SMTP Server) with SMTP id BA3B41C001E4; Mon, 6 Dec 2004 10:58:53 +0100 (CET) Message-ID: <001b01c4db7a$61633080$0100a8c0@mshome.net> From: =?iso-8859-1?Q?Fr=E9d=E9ric_Gava?= To: "Jonathan Roewen" , References: Subject: Re: [Caml-list] Using OCaml in a kernel Date: Mon, 6 Dec 2004 11:00:13 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-Miltered: at concorde with ID 41B42D5E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; gava:01 gava:01 caml-list:01 ocaml:01 cheers:01 ocaml:01 ocamlopt:01 compiler:01 gcc:01 caml-list:01 beginner's:01 beginners:01 bug:01 xleroy:01 kernel:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=2.2 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS autolearn=disabled version=3.0.0 X-Spam-Level: ** 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 >