Hello, I am writing an operating system kernel and I am considering the idea of rewritting it in Ocaml or make a wrapper. As I don't know how Ocaml is implemented in detail so I have the following question: If want to code in Ocaml without using the garbage collector, will I be able to use my own multithreading implementation or will I be limited by Ocaml's global lock? Thanks in advance. Konstantin Tcholokachvili