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 <samuel.thibault@inria.fr>

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.
>
> http://gna.org/projects/funk/
>
> Samuel
>