Unicycle: low-level unikernel framework (libunicycle)

Unicycle: low-level unikernel framework

libunicycle

Geek Repo

Github PK Tool:Github PK Tool

Unicycle: low-level unikernel framework's repositories

unicycle

Unikernel applications framework

Language:CLicense:MITStargazers:12Issues:4Issues:0

bootloader

UEFI based bootloader for unicycle applications

Language:CLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

usb-relay

STM32Fxx firmware for a power relay

Language:CLicense:MITStargazers:1Issues:3Issues:0

acpica

The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to

Language:ASLStargazers:0Issues:3Issues:0

bootserver

Host-side server to boot unicycle applications over-the-network

Language:CLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0
License:NOASSERTIONStargazers:0Issues:2Issues:0
Language:CLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

menuconfig

Out-of-tree version of Linux' kconfig tool

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

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.

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

shog

Ruby frontend for Ninja build system

Language:RubyLicense:MITStargazers:0Issues:3Issues:0
Stargazers:0Issues:3Issues:0