Wouldn't that require pulling in the OCaml garbage collector? Much of the reason people use glibc or other low-level libraries rather than a managed runtime is so they don't need to link in a managed runtime.

Good point, I think it would indeed mean pulling in all of OCaml's runtime model.