Pinned Repositories
AdHocLib
Android library for ad hoc communications
musl-tests
testBed for musl unikraft
parserClang
A small C parser to extract functions from C/Cpp source files
pythonProject
Python Project (Cisco Incubator 2018)
spacer
Spacer: a tool to align unikernels
sqlite-bench
A simple sqlite benchmark
syscalls-heatmap
Create a syscalls heatmap for Unikraft.
tinyOS
A tiny OS to understand very low-level stuff
tools
Toolchain to build unikernels
pykraft
Python library for configuring and building unikernels
gaulthiergain's Repositories
gaulthiergain/parserClang
A small C parser to extract functions from C/Cpp source files
gaulthiergain/spacer
Spacer: a tool to align unikernels
gaulthiergain/syscalls-heatmap
Create a syscalls heatmap for Unikraft.
gaulthiergain/tools
Toolchain to build unikernels
gaulthiergain/musl-tests
testBed for musl unikraft
gaulthiergain/sqlite-bench
A simple sqlite benchmark
gaulthiergain/tinyOS
A tiny OS to understand very low-level stuff
gaulthiergain/AdHocApps
Contains the apps (and other stuff) for the AdHocLib
gaulthiergain/chiplicity.github.io
gaulthiergain/docs
The front page and documentation for the Unikraft Open-Source Project.
gaulthiergain/gaulthiergain
gaulthiergain/INFO0940-1_project1
INFO0940-1:Project1
gaulthiergain/INFO0940-1_project2
Tester for the INFO0940-1_project2 2021
gaulthiergain/kraft
Define, configure, build, and run Unikraft unikernel applications.
gaulthiergain/kvm-hello-world
A minimal kvm example
gaulthiergain/lib-libevent
Unikraft port of libevent, an event notification library
gaulthiergain/lib-musl
Port of musl libC
gaulthiergain/lib-newlib
Unikraft port of newlib, a C standard library
gaulthiergain/lib-redis
Unikraft port of Redis in-memory data structure store
gaulthiergain/lib-tlsf
Port of TLSF for Unikraft, a general-purpose memory allocator
gaulthiergain/libpcre
gaulthiergain/linux
Linux kernel source tree
gaulthiergain/linux-vm-notes
Notes on the linux kernel VM subsystem.
gaulthiergain/PTEditor
A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.
gaulthiergain/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.
gaulthiergain/sqlite-amalgamation
The SQLite amalgamation mirror with cmake
gaulthiergain/sqlite3
gaulthiergain/summer-of-code-2021
Unikraft Summer of Code (2021) Website & Projects Documentation
gaulthiergain/unikernels
State of the art for unikernels
gaulthiergain/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)