Microkernels: a submodule for a traditional operating systems course.

Tracy Camp, Glen Oberhauser

Browse the full SIGCSE paper archive.