Jason_25 wrote: ↑
Sat Jul 20, 2019 10:26 pm
Thanks for that information.
I am running Devuan Stretch 32-bit with the 20190709 bootloader and kernel from raspberrypi.org. It looks like the boot firmware included in raspberrypi-bootloader is also from 7/9. These are the latest files available on the web site. I browsed the commits to the firmware on github and did not see anything about what you mentioned so I don't know If I am on the right track or not.
You need to talk to Devuan team, it's their distribution, so they need to fix it.
Or just use Raspbian. It's better.
Principal Software Engineer at Raspberry Pi (Trading) Ltd.
Contrary to popular belief, humorous signatures are allowed. Here's an example...
“I think it’s wrong that only one company makes the game Monopoly.” – Steven Wright