> To be fair, there is a kernel - the Go runtime. I like Anil Madhavapeddy's definition for such setups. A compiler that just refuses to stop: MirageOS is a

> To be fair, there is a kernel - the Go runtime. I like Anil Madhavapeddy's definition for such setups. A compiler that just refuses to stop: MirageOS is a system written in pure OCaml where not only do common network protocols and file systems and high-level things like web servers and web stacks can all be expressed in OCaml but the compiler just refuses to stop ... compiler, instead of stopping and generating a binary that you then run inside Linux or Windows, will continue to specialize the application that it is compiling and ... emit a full operating system that can just boot by itself. https://signalsandthreads.com/what-is-an-operating-system https://signalsandthreads.com/what-is-an-operating-system / https://archive.vn/yLfkq https://archive.vn/yLfkq