Omega0: A portable interface to interrupt hardware for L4 systems (2000)

Cached

Download Links

by Jork Löser , Michael Hohmuth
Venue:In Proc. First Workshop on Common Microkernel System Platforms
Citations:1 - 0 self

Documents Related by Co-Citation

4 Preventing Denial-of-Service Attacks on a -Kernel for WebOSes – J Liedtke, N Islam, T Jaeger - 1997
6 Synchronous IPC over Transparent Monitors – Trent Jaeger, Jonathon E. Tidswell, Alain Gefflaut, Yoonho Park, Jochen Liedtke, Kevin Elphinstone - 2000
38 Interface and Execution Models in the Fluke Kernel – Bryan Ford, Mike Hibler, Jay Lepreau, Roland Mcgrath, Patrick Tullman - 1999
47 A Distributed Secure System – John Rushby, Brian Randell, Brian R - 1983
253 Lightweight remote procedure call – Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy - 1990
21 Non-Discretionary Access Control For Decentralized Computing Systems – Paul A. Karger - 1977
6 Overview of the Chorus distributed system – M Rozier, V Abrossimov, E Armand, I Boule, M Gien, M Guillemont, E Hermann, C Kaiser, S Langlois, P Leonard, W Neuhauser - 1991
11 Using registers to optimize cross-domain call performance – P A KARGER
30 Improved Address-Space Switching on Pentium Processors by Transparently Multiplexing User Address Spaces – Jochen Liedtke - 1995
18 The Measured Performance of a Fast Local IPC – Jonathan S. Shapiro, David J. Farber, Jonathan M. Smith - 1996
12 Flexible access control using IPC redirection – Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park - 1999
87 Evolving Mach 3.0 to a Migrating Thread Model – Bryan Ford, Jay Lepreau - 1994
39 Verifying the EROS Confinement Mechanism – Jonathan S. Shapiro, Samuel Weber - 2000
42 Improving Security and Performance for Capability Systems – Paul Ashley Karger - 1988
41 The Pebble component-based operating system – Eran Gabber, Christopher Small, John Bruno, José Brustoloni, Avi Silberschatz - 1999
107 H.vdra/C.mmp: An Experimental Computer System – R Levin, S P Harbison - 1981
159 Improving IPC by kernel design – Jochen Liedtke - 1993
22 Reflections on an Operating System Design – Butler W. Lampson, Howard E. Sturgis
38 Capability-based Financial Instruments – Mark S. Miller, Chip Morningstar, Bill Frantz - 2000