Skip to main content
Trustworthy Systems
About TS
About TS
Achievements
People
Partners and Sponsors
Diversity
Contact us
News
Research
Research
Operating systems
Formal methods
Programming languages
All projects
Publications
Software
Collaboration
Collaboration
Services
Our projects
Jobs
Jobs
Diversity
Students
Students
General Information
Courses We Run
PhD Research
Undergraduate Thesis Topics
Internship (Taste of Research) Projects
Partners
Mungi Source
The following files are freely available for download:
Mungi source tarball [
http
,
ftp
]
(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