Hobby operating system, bootloader, kernel, drivers, C library
Tool kit for building highly secure special-purpose operating systems
Linux 4.9 Kernel for Xiaomi Mi A1 aka Tissot
RTOS for Secure, Safe and Real-Time Systems
Tiny Alien - Micro Serving on a Shoestring
An operating system written in C & assembly.
OSAF-TK your one stop shop for Android malware analysis and forensics.
Recursive implementation of List Dynamic Dependencies (LDD)