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 F246BBC2F for ; Mon, 6 Dec 2004 10:08:28 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iB698SDI016198 for ; Mon, 6 Dec 2004 10:08:28 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA02758 for ; Mon, 6 Dec 2004 10:08:28 +0100 (MET) Received: from smtp001.mail.ukl.yahoo.com (smtp001.mail.ukl.yahoo.com [217.12.11.32]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id iB698R2e016195 for ; Mon, 6 Dec 2004 10:08:28 +0100 Received: from unknown (HELO ?192.168.1.32?) (vincenzo?ml@213.203.163.98 with plain) by smtp001.mail.ukl.yahoo.com with SMTP; 6 Dec 2004 09:08:26 -0000 From: Vincenzo Ciancia To: caml-list@inria.fr Subject: Re: [Caml-list] Using OCaml in a kernel Date: Mon, 6 Dec 2004 10:08:47 +0100 User-Agent: KMail/1.7 References: In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200412061008.47188.vincenzo_mlRE.MOVE@yahoo.it> X-Miltered: at concorde with ID 41B4218C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41B4218B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 wrote:01 ocaml:01 ocamlopt:01 compiler:01 gcc:01 humps:01 humps:01 48,:98 48,:98 kernel:01 kernel:01 caml:02 caml:02 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=NORMAL_HTTP_TO_IP autolearn=disabled version=3.0.0 X-Spam-Level: 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