Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] ocaml in the kernel (again)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-01-24 (15:46)
From: art <arty@s...>
Subject: [Caml-list] ocaml in the kernel (again)
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 you try hard
enough, and
this allows the C parts of the kernel to give caml code a shot at
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
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.

Bug reports:  FAQ:
To unsubscribe, mail  Archives: