Skip to main content
Trustworthy Systems
Mungi Source
The following files are freely available for download:
- Mungi source tarball
http
(Version 1.2: 2nd September, 2002).
Works with
L4/MIPS
and
L4/Alpha
kernels.
- Release notes for the current kernel.
- The Mungi 1.2 API in either PS or
PDF format