unikernel

Star

Here are 94 public repositories matching this topic...

includeos / IncludeOS

Star

A minimal, resource efficient unikernel for cloud services

cpp wiki virtualization operating-system unikernel

Updated May 11, 2020
C++

mirage / mirage

Star

MirageOS is a library operating system that constructs unikernels

linux xen ocaml opam kvm mirageos unikernel

Updated Aug 6, 2020
OCaml

Solo5 / solo5

Star

A sandboxed execution environment for unikernels

freebsd openbsd hypervisor kvm mirageos unikernel

Updated Jul 21, 2020
C

nanovms / ops

Star

ops - build and run nanos unikernels

devops microservice serverless sandbox virtualization unikernel minimalist operating-systems orchestrator edge-computing imagebuilder unikernels

Updated Jul 23, 2020
Go

nanovms / nanos

Star

A kernel designed to run one and only one application in a virtualized environment

security microservice sandbox virtualization osdev edge unikernel operating-systems

Updated Aug 10, 2020
C

mirage / mirage-tcpip

Star

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

tcp udp ocaml icmp ipv4 arp mirageos unikernel ethernet tcpip networking-stack

Updated Jun 19, 2020
OCaml

ssrg-vt / hermitux

Star

A binary-compatible unikernel

unikernel

Updated Apr 16, 2020
C

hermitcore / libhermit

Star

HermitCore: A C-based, lightweight unikernel

kernel virtualization osdev operating-system unikernel high-performance-computing cloud-computing multi-kernel

Updated Aug 6, 2019
C

mirage / mirage-skeleton

Star

Examples of simple MirageOS apps

examples ocaml mirageos unikernel

Updated Jun 18, 2020
OCaml

mirage / qubes-mirage-firewall

Star

A Mirage firewall VM for QubesOS

firewall ocaml mirageos unikernel qubesos

Updated Jul 4, 2020
OCaml

sysml / clickos

Star

The Click modular router: fast modular packet processing and analysis

networking xen click unikernel mini-os

Updated Oct 16, 2017
C++

ultibohub / Core

Star

Ultibo Core

raspberry-pi kernel raspberrypi freepascal unikernel ultibo

Updated Jun 25, 2020
Pascal

Engil / Canopy

Star

A git-blogging unikernel written using MirageOS

ocaml blog-engine mirageos unikernel irmin mirage

Updated Apr 29, 2020
OCaml

hannesm / albatross

Star

Albatross: orchestrate and manage MirageOS unikernels with Solo5

security deployment virtual-machine ocaml orchestration provisioning mirageos unikernel

Updated Jul 29, 2020
OCaml

torokernel / torokernel

Star

This repository contains the source code of toro kernel

lazarus kernel freepascal unikernel qemu-kvm toro libraryos

Updated Aug 6, 2020
Pascal

mirage / ocaml-dns

Star

OCaml implementation of the DNS protocol

dns ocaml mirageos unikernel

Updated Aug 7, 2020
OCaml

deferpanic / virgo

Star

Run Unikernels Locally and Natively on OSX and Linux

unikernel

Updated Jan 24, 2019
Go

SESA / EbbRT

Star

EbbRT: elastic building block runtime

unikernel libraryos

Updated Jul 30, 2020
C

infoslack / awesome-unikernels

Star

A list about Unikernels

cloud kernel mirageos unikernel rumprun unik unikernels

Updated Jun 15, 2020

mirage / charrua

Star

A DHCP library in OCaml

ocaml unikernel dhcp-server mirage dhcp-library

Updated Jun 22, 2020
OCaml

roburio / udns

Star

[deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library

dns ocaml mirageos unikernel dns-server tsig robur

Updated Jun 27, 2019
OCaml

sysml / mini-os

Star

Minimalistic Operating System for Xen

xen unikernel mini-os

Updated Feb 25, 2020
C

unikraft / unikraft

Star

Main Unikraft repo (read-only mirror)

application library unikernel unikraft specialized-oses

Updated Aug 7, 2020
C

roburio / unipi

Star

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

git letsencrypt http ocaml mirageos unikernel http-server

Updated Aug 2, 2020
OCaml

OtoloNetworks / rebar3_osv

Star

Turn an Erlang/OTP application into a Unikernel image

unikernel osv erlang-otp

Updated May 26, 2020
Erlang

roburio / unikernels

Star

MirageOS unikernels

dns letsencrypt mirageos unikernel

Updated Jun 24, 2020
OCaml

roburio / openvpn

Star

An opinionated implementation of the OpenVPN protocol

openvpn ocaml vpn mirageos unikernel openvpn-server openvpn-client

Updated Aug 3, 2020
OCaml

keyfender / keyfender

Star

Secure HSM implementation based on MirageOS

ocaml mirageos unikernel hsm private-key

Updated Nov 5, 2018
OCaml

sysml / uniprof

Star

A stack tracer/profiler for Xen domains

stack profiler xen unikernel tracer

Updated Sep 19, 2017
C

ultibohub / Examples

Star

Ultibo Examples

raspberry-pi kernel raspberrypi freepascal unikernel ultibo

Updated Jun 11, 2020
Pascal

Improve this page

Add a description, image, and links to the unikernel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the unikernel topic, visit your repo's landing page and select "manage topics."

Learn more