Hi,

I'm having a few reservations over ocaml native code as an OS/kernel,
due to some limitations with the language environment (no dynamic
libraries for ocaml libs or runtime, no concurrent GC).

How does the toplevel differ from the bytecode interpreter? Am I right
that bytecode just runs in a VM? Also, is the VM written in OCaml
itself?

Jonathan