| mirage/mirage |
2,377 |
|
0 |
0 |
about 2 years ago |
0 |
|
55 |
isc |
OCaml |
| MirageOS is a library operating system that constructs unikernels |
| hyperhq/hyperd |
1,965 |
|
1 |
0 |
over 7 years ago |
13 |
May 27, 2021 |
50 |
apache-2.0 |
Go |
| HyperContainer Daemon |
| unikraft/unikraft |
1,820 |
|
0 |
0 |
about 2 years ago |
0 |
|
253 |
other |
C |
| Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository) |
| Wenzel/awesome-virtualization |
1,450 |
|
0 |
0 |
over 2 years ago |
0 |
|
9 |
gpl-3.0 |
|
| Collection of resources about Virtualization |
| linuxboot/heads |
1,354 |
|
0 |
0 |
about 2 years ago |
0 |
|
273 |
gpl-2.0 |
Makefile |
| A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops and servers. |
| xcp-ng/xcp |
1,114 |
|
0 |
0 |
over 2 years ago |
0 |
|
191 |
|
Python |
| Entry point for issues and wiki. Also contains some scripts and sources. |
| GaloisInc/HaLVM |
1,011 |
|
0 |
0 |
over 7 years ago |
0 |
|
37 |
bsd-3-clause |
Haskell |
| The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen |
| ronivay/XenOrchestraInstallerUpdater |
971 |
|
0 |
0 |
over 2 years ago |
0 |
|
1 |
gpl-3.0 |
Shell |
| Xen Orchestra install/update script |
| tklengyel/drakvuf |
968 |
|
0 |
0 |
about 2 years ago |
0 |
|
97 |
other |
C++ |
| DRAKVUF Black-box Binary Analysis |
| rumpkernel/rumprun |
955 |
|
0 |
0 |
almost 6 years ago |
0 |
|
52 |
other |
C |
| The Rumprun unikernel and toolchain for various platforms |
