Explore projects

Templates for the seventh exercise sheet: Chaotic systems and stability of solutions

Benchmark io_uring open vs direct open

OSEK-V top-level Git. Look here, if you want to start.

Extensible Micro-Parallelism Experimentation Runtime

Evaluation artifact for the emper IO subsystem

Projects for the Arduino, ESP8266 or ESP32 (NodeMCU, WeMos D1 etc.), STM32 (bluepill) or other development microprocessor (boards).

Code Metrics for Benchmarking Timing Analysis

st - structure tool/translator

Vorlage für die Betriebssystem Übung im WS18/19 (7.5 ECTS)

dOSEK - Dhe One and Single Extended Kernel

Configure and simulate computer architectures.

Tool to remove functions from ELF library interfaces and to overwrite their implementation

Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG

Templates for the eighth exercise sheet: Random dynamics

ToyRep