|
OCaml |
3 |
Boot parameters for MirageOS on Unix |
Apr 06, 2021 |
|
OCaml |
18 |
MirageOS traceroute unikernel |
Mar 28, 2023 |
|
Python |
7 |
Walkthrough of hello world MirageOS unikernel creation as unix binary and xen image |
Aug 09, 2022 |
|
OCaml |
19 |
MirageOS unikernel to test networking |
Apr 30, 2023 |
|
C |
18 |
Xen core platform libraries for MirageOS |
Mar 28, 2023 |
|
OCaml |
15 |
draft space for a DNSmasq-like MirageOS unikernel |
Mar 28, 2023 |
|
OCaml |
17 |
Example URL shortener MirageOS unikernel using Chamelon. |
Jun 10, 2022 |
|
OCaml |
7 |
Our Gemini server as a MirageOS unikernel |
Mar 05, 2023 |
|
OCaml |
8 |
A MirageOS unikernel acting as a secondary DNS server |
Mar 28, 2023 |
|
OCaml |
9 |
Try to infer config.ml for a MirageOS unikernel by looking at unikernel.ml |
Mar 28, 2023 |
|
OCaml |
2 |
Dump the CTF trace of a running mirage-xen unikernel |
Apr 08, 2021 |
|
OCaml |
5 |
Unikernel-code and information to get up and running with MirageOS |
Apr 22, 2020 |
|
Shell |
2 |
Run a mirageOS unikernel built with solo5 on QEMU on OSX |
Jul 23, 2019 |
|
Shell |
3 |
A MirageOS development environment using VBox, Alpine Linux and Xen |
Sep 25, 2018 |
|
HTML |
13 |
These are the MirageOS slide decks, written as a self-hosting unikernel |
May 02, 2022 |
|
OCaml |
16 |
Memtrace library for MirageOS |
Mar 28, 2023 |
|
None |
15 |
Attempts to get Xen Hypervisor and MirageOS running on Raspberry Pi 3 |
May 03, 2022 |
|
OCaml |
15 |
A MirageOS unikernel acting as primary DNS server, data stored in a remote git repository |
Mar 28, 2023 |
|
OCaml |
60 |
Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel |
Mar 28, 2023 |
|
Shell |
57 |
Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH … |
Jan 28, 2023 |
|
Ruby |
32 |
ruby-xen is a ruby library for managing Xen virtual servers |
Jan 28, 2023 |
|
Shell |
28 |
Instructions and tools to boot Xen in UEFI mode with TPM measurements of Xen and … |
Sep 11, 2022 |
|
OCaml |
12 |
A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates … |
Mar 28, 2023 |
|
Shell |
11 |
An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a … |
Apr 09, 2022 |
|
Go |
5 |
Prometheus exporter for Xen using xenlight library |
Sep 25, 2021 |
|
C |
65 |
Cryptographic primitives for MirageOS |
Apr 15, 2023 |
|
None |
14 |
WIP Handbook for MirageOS |
Sep 25, 2018 |
|
OCaml |
11 |
HTTP combinators for MirageOS |
Sep 14, 2021 |
|
OCaml |
8 |
Network devices for MirageOS |
Nov 15, 2021 |
|
OCaml |
8 |
Time signatures for MirageOS |
Nov 15, 2021 |
|
C |
78 |
Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This … |
Mar 30, 2023 |
|
R |
3 |
Functions for reading e4 data, and create several parameters for analysis |
Sep 05, 2023 |
|
OCaml |
17 |
Ssh-agent unikernel for QubesOS |
May 24, 2022 |
|
Rust |
32 |
Bootloader for the unikernel RustyHermit |
Jul 26, 2022 |
|
HTML |
2 |
Slides for Rump Unikernel workshop |
Apr 25, 2022 |
|
CSS |
3 |
xen Theme for XFCE |
Dec 17, 2021 |
|
OCaml |
8 |
Ocurrent-based CI for MirageOS |
May 02, 2022 |
|
OCaml |
7 |
A message queue for MirageOS |
May 02, 2022 |
|
OCaml |
16 |
Unix Filesystem passthrough for MirageOS |
Sep 14, 2021 |
|
OCaml |
20 |
An eDSL for MirageOS apps |
Mar 28, 2023 |
|
OCaml |
3 |
Portable shim for MirageOS APIs |
Jan 28, 2023 |
|
OCaml |
6 |
Random-related devices for MirageOS |
Dec 08, 2022 |
|
Shell |
5 |
Performance testing scripts for MirageOS |
May 08, 2021 |
|
OCaml |
2111 |
MirageOS is a library operating system that constructs unikernels |
Apr 26, 2023 |
|
Modelica |
2 |
Modelica library for reading and writing variables and parameters to files. The main objective of … |
Nov 30, 2021 |
|
Pascal |
22 |
Parameters manager library for Delphi applications |
Sep 25, 2022 |
|
None |
6 |
Basic CLI for Xen-Orchestra |
Jan 13, 2017 |
|
Dockerfile |
2 |
Compilation environment for Xen project |
Jul 01, 2022 |
|
C |
3 |
Virtual Machine Introspection for Xen |
May 11, 2018 |
|
Go |
3 |
Kubernetes controller for Xen Orchestra |
Jul 14, 2022 |