Hackster is a community dedicated to learning hardware, from beginner to pro. Join us, it's free!

Genode

An innovative OS that enforces a strict organizational structure to all software components including device drivers and system services.