Trustworthy Systems

The design and implementation of the L4 microkernel on the StrongARM SA-1100


Adam Wiggins

    School of Computer Science and Engineering
    Sydney 2052, Australia


Title: The Design and Implementation of the L4 Microkernel on the StrongARM SA-1100 Author: Adam Wiggins School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia, Abstract: The ARM architecture has established itself as one of the leading microprocessors in today's embedded and portable marked. Its simple design founded in RISC principles yet balanced by CISC influence leads to low cost/power cores which offer high performance. In particular the StrongARM SA-1100 has proven that an ARM processor can deliver enough processing power within the constraints of low power, low cost and small size, to handle such demanding tasks as voice recognition in a handheld device. Recent trends have seen a push towards the need for secure and reliable operating systems in embedded and portable devices for such application areas as Internet appliances and wireless networking for handhelds. This thesis examines the challenges facing the design and implementation of a general purpose microkernel to the StrongARM SA-1100 and evaluates the potential performance of such a system. It is hoped that the work covered will benefit future development of general purpose operating systems on ARM processors as well as provide a framework for microkernel development in general.

BibTeX Entry

    address          = {Sydney, Australia},
    author           = {Adam Wiggins},
    keywords         = {ARM, StrongARM, SA-1100, domains, microkernel design, microkernel implementation, pleb},
    month            = nov,
    note             = {Available from publications page at \url{}},
    paperUrl         = {},
    school           = {School of Computer Science and Engineering},
    title            = {The Design and Implementation of the {L4} Microkernel on the {StrongARM} {SA-1100}},
    year             = {1999}