The raven kernel: a microkernel for shared memory multiprocessors

The Raven kernel is a small, lightweight operating system for shared memory multiprocessors. Raven is characterized by its movement of several traditional kernel abstractions into user space. The kernel itself implements tasks, virtual memory management, and low level excep-tion dispatching. All thr...

Full description

Bibliographic Details
Main Author: Ritchie, Duncan S.
Language:English
Published: 2008
Online Access:http://hdl.handle.net/2429/1945