gaulthiergain

parserClang

A small C parser to extract functions from C/Cpp source files

spacer

Spacer: a tool to align unikernels

syscalls-heatmap

Create a syscalls heatmap for Unikraft.

tools

Toolchain to build unikernels

musl-tests

testBed for musl unikraft

sqlite-bench

A simple sqlite benchmark

tinyOS

A tiny OS to understand very low-level stuff

AdHocApps

Contains the apps (and other stuff) for the AdHocLib

chiplicity.github.io

docs

The front page and documentation for the Unikraft Open-Source Project.

gaulthiergain

INFO0940-1_project1

INFO0940-1:Project1

INFO0940-1_project2

Tester for the INFO0940-1_project2 2021

kraft

Define, configure, build, and run Unikraft unikernel applications.

kvm-hello-world

A minimal kvm example

lib-libevent

Unikraft port of libevent, an event notification library

lib-musl

Port of musl libC

lib-newlib

Unikraft port of newlib, a C standard library

lib-redis

Unikraft port of Redis in-memory data structure store

lib-tlsf

Port of TLSF for Unikraft, a general-purpose memory allocator

libpcre

linux

Linux kernel source tree

linux-vm-notes

Notes on the linux kernel VM subsystem.

PTEditor

A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

sqlite-amalgamation

The SQLite amalgamation mirror with cmake

sqlite3

summer-of-code-2021

Unikraft Summer of Code (2021) Website & Projects Documentation

unikernels

State of the art for unikernels

unikraft

Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)