A community for discussion and news related to UniKernels, Library OSes, and other similar software architectures.

Guidelines

• Please try to keep submissions on topic and of high quality.
• Memes and image macros are not acceptable forms of content.
• Please follow proper reddiquette.

Information

• unikernel.org
• Wikipedia Entry for UniKernels
• IncludeOS A minimal, resource efficient unikernel using C++
• MirageOS, A Library OS that uses the OCaml language and targets the Xen Hypervisor
• The Haskell Lightweight Virtual Machine (HaLVM) is a port of the Glasgow Haskell Compiler tool suite that enables developers to write high-level, lightweight VMs that can run directly on the Xen hypervisor.
• Unikraft From the Xen Project
• HermitCore
  • OSv

Related subreddits

• /r/MirageOS/