Browse thread
Ocaml implementation and low level details
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 >