Описание тега mirage
Среда программирования на основе OCaml для создания типобезопасных модульных систем.
MirageOS - это библиотечная операционная система, которая создает одноядерные ядра для безопасных, высокопроизводительных сетевых приложений на различных облачных вычислениях и мобильных платформах.
Код может быть разработан в обычной ОС, такой как Linux или OS X, а затем скомпилирован в полностью автономное специализированное ядро, работающее под гипервизором Xen.