tiniest x86-64-linux emulator

A secure, fast, and adaptable OS based on the seL4 microkernel

Immutable Linux OS to run Incus

🛜 TUI for managing bluetooth on Linux

UEFI firmware image viewer and editor

htop-like network monitoring tool. The Swiss Army Knife for Network Ops

Program to decode radio transmissions from devices on the ISM bands (and other frequencies)

The Airgap Native Packager Manager for Kubernetes

A Linux version of the Procmon Sysinternals tool

A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.

Predict TPM PCR values for future boot

The open-source CapCut alternative

A Python-based HDL and framework for silicon-based witchcraft

ops - build and run nanos unikernels

Kernel process scheduler statistics

A second iteration of the (to be) DOS-friendly hobby OS.

library for interacting with Dell SMBIOS tables

Ubuntu Server Installer, and backend for Ubuntu Desktop Installer

The historical uIP sources

Ultra Fast Python HTTP server written in pure C

The Xeneva Operating System

An open-source recreation of the "Welcome to Kilnettle" tape dispenser from Father Ted.

A simple python script to convert Ubuntu TPM-backed FDE snap recovery keys to a working LUKS key-file

Checkbox is a testing framework used to validate device compatibility with Ubuntu Linux. It’s the testing tool developed for the purposes of the Ubuntu Certification program.

A UEFI application that sends LLDP-MED packets at boot to negotiate PoE+ power before the OS loads.

This directory contains an image of Ubuntu Core 22 with the GDM display manager loaded into the boot file system.