libreCMC
Firmware

A GNU/Linux-libre distribution for embedded devices.