pingerino

eurosys18

Manifests for eurosys 2018 benchmarks

composite

A component-based OS

aos-2018

camkes-arm-vm

camkes-tool

The main CAmkES tool

camkes-vm

Virtual Machine build as a CAmkES component.

camkes-vm-images

capdl

cmake_format

Source code formatter for cmake listfiles.

configs

course

Functional Programming Course

global-components

libnfs

NFS client library

linux

Linux kernel source tree

musllibc

phd

picotcp-bsd

BSD POSIX-compliant socket support for PicoTCP running on any OS.

ps

Parallel sections library for parallel data-structures

rumprun

The Rumprun unikernel and toolchain for various platforms

rumprun-packages

Ready-made packages of software for running on the Rumprun unikernel

rumprun-sel4-demoapps

Apps for running with the rumprun unikernel on seL4.

seL4

The seL4 microkernel

seL4_libs

seL4_projects_libs

seL4_tools

sel4bench

sel4 benchmarking applications and support library.

sel4test

Test suite for seL4.

util_libs