Explore projects

Driver for virtual userspace controlled devices in linux

Wireless tempdevice 2016

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

The GenE Benchmark Generator (LLVM tool)

dOSEK - Dhe One and Single Extended Kernel

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

Code Metrics for Benchmarking Timing Analysis

dOSEK for PATMOS

Adapted Platin for System-wide Worst Case Response Time Analysis