Вече на п-п-р

Нужно найти, откуда брать коды драйверов. Писать всё это нереально. Нужна пермиссивная лицензия.
Пока попалось Plan 9 - под какую же она Pi?

Во всяком случае, под мою 2-ю подходит. Остальных физически нет.

Есть ещё два места, откуда можно попробовать брать код - это FreeBSD и https://github.com/ARMmbed/mbed-os .

Есть ещё интересная штука - Genode. https://www.genode.org/