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
Ocaml implementation and low level details
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Konstantin Tcholokachvili <tcholoka@g...>
Subject: [Caml-list] Ocaml implementation and low level details
I browsed the sources of funk OS one year ago, if I remember corectly you
are one og its author.
I assume that if funk manages memory and run threads it's possible to code
an OS from ground up using Ocaml but want to be sure:

- Does I need to disable an option to avoid the garbage collector's use? (I
gues that yes)

- Also need I disable Ocaml theading subsystem? (Obviously yes, but are
there some limitations?)

Are there other important considerations to take?
Do you think that Ocaml is suitable for OS coding (I''m using C now).

Thank you,

Konstantin Tcholokachvili

2010/1/28 Samuel Thibault <>

Konstantin Tcholokachvili, le Thu 28 Jan 2010 13:42:15 +0100, a écrit :
> > I am writing an operating system kernel and I am considering the idea of
> > rewritting it in Ocaml or make a wrapper.
> You may want to have a look at the funk gna project. Although dormant at
> the moment, it does boot, has caml threads etc.
> Samuel