From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA12309; Mon, 5 Nov 2001 11:39:05 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA12276 for ; Mon, 5 Nov 2001 11:39:04 +0100 (MET) Received: from d12lmsgate-3.de.ibm.com (d12lmsgate-3.de.ibm.com [195.212.91.201]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fA5Ad4X15323 for ; Mon, 5 Nov 2001 11:39:04 +0100 (MET) Received: from d12relay01.de.ibm.com (d12relay01.de.ibm.com [9.165.215.22]) by d12lmsgate-3.de.ibm.com (1.0.0) with ESMTP id LAA09898 for ; Mon, 5 Nov 2001 11:39:02 +0100 Received: from d10hubm1.telaviv.ibm.com (d10ml001.telaviv.ibm.com [9.148.216.55]) by d12relay01.de.ibm.com (8.11.1m3/NCO v4.98) with ESMTP id fA5Ad13100644 for ; Mon, 5 Nov 2001 11:39:01 +0100 Importance: Normal Subject: Re: [Caml-list] ocaml and linux kernel programming To: caml-list@inria.fr X-Mailer: Lotus Notes Release 5.0.3 (Intl) 21 March 2000 Message-ID: From: "Ohad Rodeh" Date: Wed, 5 Sep 2001 12:33:36 +0300 X-MIMETrack: Serialize by Router on D10ML001/10/M/IBM(Release 5.0.8 |June 18, 2001) at 05/11/2001 12:39:01 MIME-Version: 1.0 Content-type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Mark Hayden wrote a kernel module in Ocaml, he posted a message on this topic about two years ago. The major problem was memory allocation in a different segement using the Caml GC. Look it up, perhaps it will be of value to you. Ohad. Xavier Leroy @pauillac.inria.fr on 05/11/2001 12:06:04 Please respond to Xavier Leroy Sent by: owner-caml-list@pauillac.inria.fr To: Vikas Sodhani cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml and linux kernel programming > Hi, I am just learning the OCaml language and was hoping to receive some > advice on the possibilities and trade offs of writing linux kernel > modules using ocaml. As Vitaly said, your best bet is to run the Caml code in user space via some sort of kernel/userland gateway. Kernel-land is a somewhat restricted programming environment. E.g. you can't even write kernel code in (full) C++ because the run-time environment for C++ allocations and exceptions is not available in the kernel. So, your chances of getting OCaml code to run in the kernel are very slim :-) - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr