Raspberry Pi firmware with Debian packaging. Contributions welcome - View it on GitHub