A very minimal, resource efficient exo-kernel
My public Baremetal Raspberry Pi code
A bootable NES Emulator running on UEFI
An open source server virtualization management solution based on QEMU/K...
Baremetal framework and example projects for the STM32MP15x Cortex-A7 ba...
A ZX spectrum 48K, 128K and Pentagon 128 emulator running on the Espress...
Example deployments of the Tinkerbell Stack for use as playground enviro...
ORBOS - GitOps everything
Service for interacting with BMCs
A coherent Ansible roles collection to simply deploy clusters of nodes.
A kernel written in Rust
Vendor-agnostic tool for managing bare-metal systems via the Redfish API
Images for Allwinner H2+/H3 DMX512 / RDM / Art-Net / sACN / USBPro / Pix...
Standard C and C++ Library Support for Circle
:calendar: The infrastructure deployment time machine