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