On Sat, May 7, 2016 at 8:36 AM, Vagrant Cascadian wrote: > Indeed. Numerous boards will work with mainline kernel and even mainline > u-boot, but require non-free "firmware" (raspberry pi, odroid-xu4) to > even boot.
Are there any ARM SoCs with libre embedded boot ROMs (the read-only software burned into the CPU that runs before anything else)? re RPi firmware: there is work going on to support the VC4 chip in the RPi for GCC/LLVM, which will allow libre software to be compiled for the RPi VC4 chip, which is the chip that is responsible for starting the ARM chip on the RPi. There are also folks working on software for the VC4 chip to be able to turn on the ARM chip. Some details in this thread: https://news.ycombinator.com/item?id=11612449 -- bye, pabs https://wiki.debian.org/PaulWise
