English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2010-01-28 (13:12)
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 <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