Linux Kernel Module Cheat
16. Operating systems
https://en.wikipedia.org/wiki/Operating_system
Linux kernel
FreeBSD
RTOS
Xen
U-Boot