I see MirageOS as an OCaml Machine, it doesn't let you develop applications within itself in the way that a Lisp Machine does but maybe that doesn't make sense

I see MirageOS as an OCaml Machine, it doesn't let you develop applications within itself in the way that a Lisp Machine does but maybe that doesn't make sense for OCaml.