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
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"