Custom kernel for whyred (Redmi Note 5 Pro/AI)
A microkernel-based hackable operating system
Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
OS bootable from Linux,Windows and others partitions as auxiliary OS
USB Resources for Microchip Microcontrollers, libusb and libftdi
C-level driver collection for MSP430 and derivatives
Fixes for X-Wing game binaries
Apple CUPS Sources
Casio KL-G2 Printing for Linux
Open-source RTOS and Embedded Systems Toolkit for C++ and C
Software-only ESP8266 USB Device
X-hyp free Hypervisor
STM32 Nucleo STM32F746ZG interface to East Rising 7 inch LCD Panel
modified Linux USB driver kernel module
Multiagent simulator of road traffic in Qt/C++ and OpenStreetMap.