OSAF-TK your one stop shop for Android malware analysis and forensics.
an os for x86 computers based on mikeos
Pacemaker DJ GPL sources
Firmware source code for MosChip's MCS8140 USB/IP network processor
A new simple operating system
Real time microkernel
Monitors logs or other commands such as dmesg output on Linux systems.