Mungi is a 64-bit, single-address-space, capability-based operating system designed to easily support distribution and persistence. The
initial public release is now available as GPLed source, and runs on the
L4/MIPS (R4x00 CPU) and
L4/Alpha (21164 & 21264 CPU) microkernels.
This release features a mostly complete kernel, user-level libraries for POSIX support, and some initial application code. It lacks device drivers, persistence, mandatory access control, and a raft of other features currently under development.