Explore projects

Demo repo for git bisect.

von allen Vorlagen gemeinsam genutzte Dateien

monitoring plugins i've seen myself needing to write, for whatever reason, shared with all of you :-)

DEPRECATED. Use aorta/WCA/platin

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

Lcamtuf's p0f3, hastily turned into a dynamic library.

Distributed Shared Memory for the Intel Xeon Phi using the SCIF API. Part of my bachelor thesis.

Master Thesis Userspace code (example/testcases/benchmarks)

The DOM as a FUSE .

Master Thesis Linux Kernel sources

Adapted Platin for System-wide Worst Case Response Time Analysis

my config files; finally unified over all the boxes i use

Wrapper script for Xpra that allows running the server as a different user on the same system using sudo.

Contains init scripts for setup faumachine

Contains main setup script for faumachine, faucc, and fhdlc