edk2-platforms

There are some projects to port UEFI to boards like Orange Pi and Raspberry Pi. You can install a normal OS once you have flashed that. https://github.com/tianocore/edk2-platforms/tree/master/Plat... https://github.com/edk2-porting/edk2-rk3588

Whilst the headlined article is interesting, it's a case of the new and shiny distracting from regressions in what already exists. The Raspberry Pi 5 is lacking in some fairly basic support that the Pi 4 has. There's no TianoCore, no NetBSD, no FreeBSD, no OpenBSD, no OmniOS(CE) … in fact nothing at all apart from Raspberry Pi OS. A couple of of the operating systems seem to point the finger at poorly documented hardware changes that the manufacturer has been no help with. * https://github.com/tianocore/edk2-platforms/tree/master/Plat... * https://wiki.netbsd.org/ports/evbarm/raspberry_pi/#index6h2 * https://www.freebsd.org/where/#download * https://www.openbsd.org/arm64.html * https://downloads.omnios.org/media/braich/ So the question that comes to my mind is whether this is yet further new and different Raspberry Pi 5 hardware that co

> They prefer to keep inner workings secret https://github.com/tianocore/edk2-platforms/tree/master/Sili... https://github.com/tianocore/edk2-platforms/tree/master/Sili... https://github.com/tianocore/edk2-platforms/tree/master/Sili... https://github.com/tianocore/edk2-platforms/tree/master/Sili...

Quite a number of the arm boards have open UEFI ports. Tianocore edk-platforms https://github.com/tianocore/edk2-platforms/tree/master/Plat... has a number that are maintained together. Others can be found in various places on github and/or a vendors site. Of note, the rpi3/4 are both supported. The hardware isn't particularly open, but they have been reverse engineered to the point where even the videocore firmware has a open source project ongoing to replace it. There are also various tutorials for getting inexpensive jtag probes working with openocd on the rpi3/4 so its possible to have a fully opensource firmware development stack. Edit: There are a couple intel ports as well, if that is one's preferred platform.

We're not talking about embedded devices in a server thread :) I'm not sure what you're calling "an ACPI controller". (You seem to be thinking of MMUs and PICs??) ACPI is a software interface. The tables are the ACPI. It's possible to implement ACPI on a system that originally shipped with U-Boot and Flattened Device Trees. Say, for the Raspberry Pi: https://github.com/tianocore/edk2-platforms/tree/8b72f720d53...