Explore projects

Branch bpf-spectre part of https://gitlab.cs.fau.de/un65esoq/bpf-spectre

Public repository for LLVM with patches needed for RTSC compilation

RTSC version that was used to for our RTAS21 Publication "Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads"

Zephyr RTOS with MBS (https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf) and Raspberry Pi 3b+ support.

Various experimental extensions to the Linux Kernel.

LLVM with TriCore support

Vorlage für die Betriebssystem Übung im WS19/20 (7.5 ECTS)

Vorlage für die Betriebssystem Übung im WS19/20 (7.5 ECTS)

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

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