Kevin Elphinstone  Home/Search
Context
Related
| unsw.edu.au/papers...Elphinstone_04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unsw.edu.au/publications.pml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: L4 is a small microkernel that is used as a basis for several operating systems. L4 seems an ideal basis for embedded systems that possess and use memory protection. It could provide a reliable, robust, and secure embedded platform. (Update)
Active bibliography (related documents): More All
5.5: Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
0.6: A Physically-Addressed L4 Kernel - Nourai (2005) (Correct)
0.5: Managing Kernel Memory Resources from User Level - Haeberlen (2003) (Correct)
Similar documents based on text: More All
0.2: Virtual Memory In A 64-Bit Microkernel - Elphinstone (1999) (Correct)
0.2: The SawMill Multiserver Approach - Gefflaut, Jaeger, Park, Liedtke.. (2000) (Correct)
0.2: The Mungi Single-Address-Space Operating System - Heiser, Elphinstone.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ elphinstone-future,
author = "Kevin Elphinstone",
title = "Future Directions in the Evolution of the L4 Microkernel",
url = "citeseer.ist.psu.edu/723267.html" }
Citations (may not include all citations):194 The protection of information in computer systems (context) - Saltzer, Schroeder - 1975
47 Dependable computing and fault tolerance: Concepts and termi.. (context) - Laprie - 1985
40 The Mungi single-address-space operating system - Heiser, Elphinstone et al. - 1998
25 DROPS - OS support for distributed multimedia applications - Hartig, Baumgartl et al. - 1998
17 The performance of -kernel-based systems (context) - Hartig, Hohmuth et al. - 1997
14 Reducing timing channels with fuzzy time (context) - Hu - 1991
12 The measured performance of a fast local IPC - Shapiro, Farber et al. - 1996
12 The SawMill multiserver approach - Gefflaut, Jaeger et al. - 2000
9 Flexible access control using IPC redirection (context) - Jaeger, Elphinstone et al. - 1999
8 Digital rights managements operating system (context) - England, DeTreville et al. - 2001
7 Cost and benefit of separate address spaces in real-time ope.. - Mehnert, Hohmuth et al. - 2002
7 High-performance caching with the lava hit-server - Liedtke, Panteleenko et al. - 1998
7 virtual memory subsystem (context) - Tuch, Klein - 2004
6 eXperimental Kernel Reference Manual (context) - Ka - 2004
6 Synchronous IPC over transparent monitors - Jaeger, Tidswell et al. - 2000
5 Shared resource matrix methodology: an approach to identifyi.. (context) - Kemmerer - 1983
4 User-level management of kernel memory - Haeberlen, Elphinstone - 2003
4 and 1990 (context) - Gray, of et al. - 1990
3 Dependability of computer systems: concepts (context) - Laprie - 1995
3 Vulnerabilities in synchronous IPC designs - Shapiro - 2003
3 Unmodified device driver reuse and improved system dependabi.. (context) - LeVasseur, Uhlig et al. - 2004
3 Achieved IPC performance (context) - Liedtke, Elphinstone et al. - 1997
3 NASA Langley Research Center (context) - Rushby, safety et al. - 1999
3 Security in embedded systems: Design challenges (context) - Ravi, Raghunathan et al. - 2004
2 virtualization and rights delegation using virtual threads (context) - Skoglund - 2004
2 Partitioning support for the l4 kernel (context) - Bennett, Audsley - 2003
http://www.xrml.org/
Documents on the same site (http://www.disy.cse.unsw.edu.au/publications.pml): More
Enhancing IA-64 Memory Management - Au, Heiser (2000) (Correct)
The Design and Implementation of the L4 Microkernel on the.. - Wiggins (1999) (Correct)
Resource Management in the Mungi Single-Address-Space.. - Heiser, Lam, Russell (1998) (Correct)
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