Thanks for the hint. I am following that effort already, but AIUI it’s not in good enough shape yet to be able to actually boot Linux. Hopefully it will get there eventually :).
On Thu, Nov 24, 2016 at 6:47 AM, Paul Wise <p...@debian.org> wrote: > On Thu, Nov 24, 2016 at 5:37 AM, Michael Stapelberg wrote: > > > This package contains all the proprietary files necessary to boot a > > Raspberry Pi 3 board. > > You may eventually want to look at the open source RPi firmware: > > https://github.com/christinaa/rpi-open-firmware > > -- > bye, > pabs > > https://wiki.debian.org/PaulWise > -- Best regards, Michael