Adam Wiggins. The design and implementation of the l4 microkernel on the StrongARM SA-1100. BE thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, November 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Flexible scheduling mechanisms in L4 - Winwood (2000) (Correct)
....with respect to security: a mechanism is only included in L4 if placing it in user space would compromise security. Implementations of L4 exist, or are currently under development, for the following architectures: x86[Lie96] MIPS [EHL97] Alpha[Pot99, Sch96] PowerPC, and StrongARM [Wig99] L4 provides the following abstractions: Address spaces An address space is a set of mappings from Virtual Memory to physical memory. L4 exports the entire physical address space to user level, including device memory. Initially, all physical memory is owned by 0 , the initial address ....
Adam Wiggins. The design and implementation of the l4 microkernel on the StrongARM SA-1100. BE thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, November 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC