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 MAA09926; Wed, 23 Jan 2002 12:32:55 +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 MAA10372 for ; Wed, 23 Jan 2002 12:32:54 +0100 (MET) Received: from mail.genxnet.com (w067.z064001139.chi-il.dsl.cnc.net [64.1.139.67]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g0NBWef16484 for ; Wed, 23 Jan 2002 12:32:53 +0100 (MET) Received: from gmvnetwork.com (localhost [127.0.0.1]) by mail.genxnet.com (8.11.5/8.11.5) with SMTP id g0NBWVh11770; Wed, 23 Jan 2002 05:32:32 -0600 Message-Id: <200201231132.g0NBWVh11770@mail.genxnet.com> Date: Wed, 23 Jan 2002 11:32:31 -0000 To: Subject: [Caml-list] OCaml in the kernel (again) From: "Art Yerkes" X-Mailer: TWIG 2.6.2 X-Client-IP: 64.81.145.152 Cc: , , , X-Scanned-By: MIMEDefang 1.3 (www dot roaringpenguin dot com slash mimedefang) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I found the idea of ocaml code in the kernel intriguing enough to do some digging. It turns out that ocamlopt can compile a viable kernel if one hacks hard enough, and this allows the C parts of the kernel to give ocaml code a shot at initialization, including allowing ocaml code to register callbacks, etc that will be called when the kernel is running. The following page describes what's there, which while not perfectly complete is enough to work with reasonably. This may be a nice opportunity to do a project like foxnet, but to get everything except the ethernet physical-layer driver into a nicer language. One might consider that code thus written would be less exploitable by a malicious hacker than equivalent C code. Here is the page with instructions + files. http://64.81.145.152/~arty/caml.html Art -- #define ENOTSUP 48 /* Operation not supported */ #define ENOTKANSTOTO 49 /* Not in kansas anymore, Toto */ #define EBADE 50 /* Invalid exchange */ ------------------- 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