Unicycle: low-level unikernel framework's repositories
bootloader
UEFI based bootloader for unicycle applications
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
bootserver
Host-side server to boot unicycle applications over-the-network
Intel-Linux-Processor-Microcode-Data-Files
Initel CPU microcode files
menuconfig
Out-of-tree version of Linux' kconfig tool