Explore projects

Simple PDF viewer

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

Clone von dOSEK für mein Masterprojekt

Extends git by RFC3161 time stamping functionality. Created by Phillip Raffeck and Anton Wuerfel in PASST WS2015/16.

Master Thesis Userspace code (example/testcases/benchmarks)

Small wrapper script around OpenVPN to connect to the VPN of FAU.

dOSEK - Dhe One and Single Extended Kernel

dOSEK for PATMOS

Simple PDF viewer

Clone of https://cal8.cs.fau.de/redmine/projects/cool

For my own testing

The repository contains all the raw data that was used in the Usenix ATC paper

The cHash CLang Plugin

RESTful API Project for WUI (WS/16)

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

dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"