the source code for http://mail.stuve-fau.de
Extends git by RFC3161 time stamping functionality.
Created by Phillip Raffeck and Anton Wuerfel in PASST WS2015/16.
Small wrapper script around OpenVPN to connect to the VPN of FAU.
my config files; finally unified over all the boxes i use
dOSEK for PATMOS
Clone von dOSEK für mein Masterprojekt
Master Thesis Userspace code (example/testcases/benchmarks)
The repository contains all the raw data that was used in the Usenix ATC paper
The cHash CLang Plugin
dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"
RESTful API Project for WUI (WS/16)
Simple PDF viewer
Fork of the dOSEK source code for verification