Modern embedded framework, using Rust and async.

Readings in Databases

Pi Pico powered sim racing wheel

Linux Kernel Module for Thrustmaster TMX Racing Wheel

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

Universal LLM Deployment Engine with ML Compilation

Software for Nebra (and third party) Helium Miners

An exokernel for the raspberry pi 3.

Writing a CSI driver from Scratch for pine64 2GB and HiMAX Camera

Xvisor: eXtensible Versatile hypervISOR

A very lightweight Python wrapper to the Philips Hue API

Bare metal Raspberry Pi 3 tutorials

The seL4 microkernel

Learning operating system development using Linux kernel and Raspberry Pi

A bare metal USB driver for Raspberry Pi 1-3 written in C

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

An open-source orchestral library

How to secure your Macbook with Yubikey and use it for SSH auth

dracut the event driven initramfs infrastructure

Rødvin.

Exokernel operating system built for MIT's 6.828 Operating Systems Engineering class

OS Project - JOS with exokernel features on ARM

PINE A64 bare metal examples

Unofficial Google Photos Python library

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months …

Categorized overview of programming principles & design patterns

A simplistic NoSQL database

Yet another hobby OS

A device tree guide for Linux and u-boot