-
-
-
spacer Public
Spacer: a tool to align unikernels
-
-
-
sqlite-amalgamation Public
Forked from azadkuh/sqlite-amalgamationThe SQLite amalgamation mirror with cmake
C BSD 3-Clause "New" or "Revised" License UpdatedFeb 26, 2024 -
-
-
lib-tlsf Public
Forked from unikraft/lib-tlsfPort of TLSF for Unikraft, a general-purpose memory allocator
C UpdatedOct 26, 2023 -
unikernels Public
Forked from seeker89/unikernelsState of the art for unikernels
MIT License UpdatedOct 20, 2023 -
unikraft Public
Forked from unikraft/unikraftUnikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
C Other UpdatedAug 3, 2023 -
-
docs Public
Forked from unikraft/docsThe front page and documentation for the Unikraft Open-Source Project.
HTML Other UpdatedDec 29, 2022 -
linux-vm-notes Public
Forked from ljskernel/linux-vm-notesNotes on the linux kernel VM subsystem.
UpdatedDec 3, 2022 -
lib-redis Public
Forked from unikraft/lib-redisUnikraft port of Redis in-memory data structure store
C Other UpdatedMay 27, 2022 -
-
summer-of-code-2021 Public
Forked from unikraft/summer-of-code-2021Unikraft Summer of Code (2021) Website & Projects Documentation
HTML Apache License 2.0 UpdatedJul 30, 2021 -
kraft Public
Forked from unikraft/pykraftDefine, configure, build, and run Unikraft unikernel applications.
Python Other UpdatedJul 29, 2021 -
lib-libevent Public
Forked from unikraft/lib-libeventUnikraft port of libevent, an event notification library
UpdatedJul 8, 2021 -
lib-newlib Public
Forked from unikraft/lib-newlibUnikraft port of newlib, a C standard library
C Other UpdatedJun 28, 2021 -
parserClang Public
A small C parser to extract functions from C/Cpp source files
-
-
kvm-hello-world Public
Forked from dpw/kvm-hello-worldA minimal kvm example
C MIT License UpdatedMar 19, 2021 -
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.
C Other UpdatedMar 18, 2021 -
-
-
-
-
PTEditor Public
Forked from misc0110/PTEditorA small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.
C MIT License UpdatedOct 22, 2020 -
{{ message }}