Abstract

• Documentation: The kernel is documented using literate programming techniques and the noweb tool in particular.
• POSIX Threads with Memory Protection: The concurrency model is based on the POSIX Threads (aka Pthreads) standard, however, the kernel also provides page-based memory protection using Memory Management Unit (MMU) hardware.

This short paper discusses these facets of the pk kernel project. The use of literate programming is presented rst, followed by a brief description of some of the pk design issues.

• View the full text of this paper in PDF form and PostScript form.

• If you need the latest Adobe Acrobat Reader, you can download it from Adobe's site.

• To become a USENIX Member, please see our Membership Information.