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 and linux kernel programming
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-11-03 (20:51)
From: Vitaly Lugovsky <vsl@o...>
Subject: Re: [Caml-list] ocaml and linux kernel programming
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

Bug reports:  FAQ:
To unsubscribe, mail  Archives: