Skip to main content

Secure OS extensibility needn't cost an arm and a leg


Antony Edwards and Gernot Heiser

    School of Computer Science and Engineering
    Sydney 2052, Australia


This position paper makes the claim that secure extensibility of operating systems is not only desirable but also achievable. We claim that OS extensibility should be done at user-level to avoid the security problems inherent in other approaches. We furthermore claim (backed up by some initial results) that user-level extensibility is possible at a performance that is similar to in-kernel extensions. Finally, user-level extensions allow the use of modern software engineering techniques.

BibTeX Entry

    author           = {Antony Edwards and Gernot Heiser},
    month            = may,
    year             = {2001},
    title            = {Secure {OS} Extensibility Needn't Cost an Arm and a Leg},
    address          = {Schloss Elmau, Germany},
    pages            = {168},
    booktitle        = {Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS)},
    paperurl         = {}


Served by Apache on Linux on seL4.