On Fri, 2 Nov 2001, Vikas Sodhani wrote:

> 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. 

 You can try userspace system call gateway (don't remember the name of 
this patch... Winmodem people are playing with it right now, so you can
ask them).

> I am trying to write a module that sits in between the file system and a
> hard disk device driver.  The code would interpret the calls from the
> file system and relay calls back to the hard disk device driver. 
> Essentially the code would be a layer over the hard disk device driver.

 Kernel space modules are very limited. :(

> Is this possible using OCaml?  What are the trade offs of using ocaml
> versus c.  I would appreciate any advice or help.

 Btw., 2ALL: what about "Caml OS"? It can be a binfmt-misc module for 
Linux, and even an infrastructure for a syscall gateway for Caml kernel
drivers.


-------------------
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