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

Active Bibliography

The Performance of – Kernel-Based Systems Hermann, Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, Jean Wolter - 1997
114 The performance of µ-kernel-based systems – Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter - 1997
5 L4.sec implementation, kernel memory management – Bernhard Kauer - 2005
The L4Ka Vision – Uwe Dannowski Kevin, Kevin Elphinstone, Jochen Liedtke, Gerd Liefländer, Espen Skoglund, Volkmar Uhlig, Christian Ceelen, Andreas Haeberlen, Marcus Völp
15 Vulnerabilities in Synchronous IPC Designs – Jonathan S. Shapiro - 2003
168 EROS: a fast capability system – Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber - 1999
1 Component Interfaces in a Microkernel-based System – Lars Reuther, Volkmar Uhlig, Ronald Aigner - 2000
µ-kernel Memory Management – Sebastian Schönberg, Volkmar Uhlig
4 A New Protection Model for Component-Based Operating Systems – Greg Law - 2001
2 Escort: Securing Scout paths – Oliver Spatscheck, Larry Peterson - 1997
2 Future Directions in the Evolution of the L4 Microkernel – Kevin Elphinstone - 2004
A Secure Microkernel – Philip Geoffrey Derrin, Supervisor Dr. Kevin Elphinstone, Assessor Prof, Gernot Heiser Abstract - 2005
From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? – Kevin Elphinstone, Gernot Heiser
22 Flexible Control of Downloaded Executable Content – Trent Jaeger, Atul Prakash, Jochen Liedtke, Nayeem Islam - 1997
Multiprocessor Support for the Fiasco Microkernel – Juniorprofessur Echtzeitsysteme, Autor Sven Schneider, Betreuender Hochschullehrer, Dr. Robert Baumgartl, Betreuer Dipl. -inf, Michael Peter, Sven Schneider, Technische Universität Chemnitz
Dynamic Loading of Native L4 Programs – Frank Mehnert
2 An ATM Driver for DROPS – Uwe Dannowski, Lehrstuhl Betriebssysteme, Betreuender Hochschullehrer, Prof Dr, Hermann Hartig - 1998
1 ATM Firmware for DROPS – Uwe Dannowski - 1999
1 Dresden Realtime Operating System – Baumgartl Borriss Hartig, R. Baumgartl, M. Borriss, H. Hartig, Cl. -j. Hamann, M. Hohmuth, L. Reuther, S. Schonberg - 1998