page 1  (34 pages)
2to next section

The Mungi Kernel API, Release 1.0

Gernot Heiser Jerry Vochteloo Kevin Elphinstone Stephen Russell

E-mail: fgernot,jerry,kevine,smrg@cse.unsw.edu.au
WWW: http://www.cse.unsw.edu.au/ ~disy

UNSW-CSE-TR-9701 ? April 1997

Abstract

This document describes release 1.0 of the application programming interface to the kernel of the Mungi single-address-space operating system. This interface will, in general, only be used by low-level software, most applications are expected to use a higher-level interface implemented as system libraries. Such libraries will be described in separate documents.

Department of Computer Systems
School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia