Omega0: A portable interface to interrupt hardware for L4 systems (2000) [1 citations — 0 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Jork Löser and Michael Hohmuth},
title = {Omega0: A portable interface to interrupt hardware for L4 systems},
booktitle = {In Proc. First Workshop on Common Microkernel System Platforms},
year = {2000},
pages = {200--0}
}
Bookmarks
OpenURL
Abstract:
Contents Preface to the Jewel Edition of this report 1 1 A user-mode IRQ-logic server 1 2 State of the art 2 2.1 Definition of terms . . . . . . . . . . . . . . 2 2.2 IRQ-to-IPC translation . . . . . . . . . . . . 2 2.3 IRQ acknowledgement . . . . . . . . . . . . 2 2.4 IRQ priorities . . . . . . . . . . . . . . . . . 3 2.5 The problem . . . . . . . . . . . . . . . . . . 4 3 Omega0: The IRQ-logic server 4 3.1 A user-mode server . . . . . . . . . . . . . . 4 3.2 Problems with this design . . . . . . . . . . . 5 3.3 Requirements . . . . . . . . . . . . . . . . . 5 3.4 Omega0 interface . . . . . . . . . . . . . . . 6 3.4.1 Client connect and disconnect . . . . 6 3.4.2 IRQ handling . . . . . . . . . . . . . 6 3.4.3 Enumerating available IRQs . . . . . 7 3.5 Alternative interface . . . . . . . . . . . . . . 7 4 X86-specific Omega0-implementation issues 7 4.1 IRQ logic on x86-based PCs . . . . . . . . . 7 4.2 Requirements . . . . . . . . . . . . . . . .
Citations
| 28 | Improved Address-Space Switching on Pentium Processors by Transparently Multiplexing User Address Spaces – Liedtke - 1995 |
| 23 | L4 reference manual (486, Pentium, PPro). Arbeitspapiere der GMD – Liedtke - 1996 |
| 10 | Flexible access control using IPC redirection – Jaeger, Elphinstone, et al. |
| 7 | L4 on Alpha, design and implementation – Schonberg - 1996 |
| 4 | A micro-kernel-based multiserver file system and development environment – Uhlig - 1999 |
| 2 | L4 version X in a nutshell. Unpublished manuscript – Liedtke - 1999 |
| 1 | The Fiasco kernel: System architecture. Unpublished manuscript – Hohmuth - 1999 |
