G github.com LibreRPi – open source replacements for RPi firmware 315 points pabs3 4 years ago 57 comments