- Impressum [imprint]
- Contact [kontakt]
-
Teaching [lehre]
- Evaluationen [evaluation]
- Oberseminar [lehre-S_OSG]
-
SS21 [lehre-ss21]
- Betriebssystembau [lehre-ss21-V_BSB]
-
SS22 [lehre-ss22]
- Operating System Classics [lehre-ss22-S_OSC]
- Betriebssystembau [lehre-ss22-V_BSB]
-
WS21 [lehre-ws21]
- IIW-Project 2021 [lehre-ws21-P_IIW]
-
Betriebssystemtechnik [lehre-ws21-V_BST]
- A1: Systemaufrufe in StuBSmI [lehre-ws21-V_BST01]
- A2: Paging in StuBSmI [lehre-ws21-V_BST02]
- A3: Nachrichten und erweitertes Paging [lehre-ws21-V_BST03]
- A3.5: Stresstest [lehre-ws21-V_BST03.5]
-
People [people]
- Christian Dietrich [dietrich]
- Yannick Loeck [loeck]
- Publications [publications-all]
-
Research [research]
- ATLAS [ATLAS]
- Sitemap [sitemap]
-
Theses (BA/MA) [theses]
- Porting and integration the StuBS operating system with the Jailhouse partioning hypervisor [BA-MPStuBS-Jailhouse]
- System-call offloading via Linux' io_uring on the Jailhouse partitioning hypervisor [BA-URING-Jailhouse]
- Data-Flow Sensitive Fault Space Pruning for RISC-V [BAMA-CLASSY-FI-DFPrune-RISC-V]
- Primitives and Abstractions for Self-Contained Virtual-Memory Areas in the Linux kernel [BAMA-Chit-Basic]
- Managing Free Pages for an Explicit Virtual-Memory Interface [BAMA-EXMAP-Managing-Free-Pages]
- Static Multivariant ELFs for Memory-Constrained Systems [BAMA-Static-Multivariant-Elf]
- Advanced Topics in Operating-System Development [BAMA-dummy]
- Automatic Derivation of Instruction-Local Fault-Propagation Behavior [MA-CLASSY-FI-Local-FI-Equivalence]
- Programmierbare asynchrone Ein-/Ausgabe auf Basis von io_uring und eBPF [MA-IOURING-eBPF-MrCache]
- Design and Implementation of a Light-Weight Container Runtime for Real-Time Applications [MA-Light-Weight-Containers]
- Dynamic Firmware Reconfiguration in Heterogeneous Embedded Multi-Core Systems [MA-revert-binding]
- High-Level Interface with C++20 Coroutines for Asynchronous I/O using io_uring and eBPF [RP-URING-CoRoutines]
- Design and Evalutation of a Neighborbood-local Network Infrastructure for a Cooperative Internet Service Provider [RP-local-ISP-infrastructure]