Explore projects

RustyHermit: A Rust-based, lightweight unikernel

Examples presented in the lecture "Foundations of Computer Science 3 - Operating Systems and System Security"

This repository contains the sizing and simulation tools of the UNICADO project.

This repository contains additional software which is needed to execute the UNICADO workflow.

Source-Code von der Rights Engine von Polaris, nur für Entwicklungssetups

This project is used for the automatic publication of the documentation files for action items that are specified as "not internal". Public URL Add your action items to the documentation repository