https://www.cnx-software.com/2020/02/18/raspberry-pi-4-uefiacpi-firmware-aims-to-make-the-board-sbbr-compliant/ https://www.cnx-software.com/2020/02/18/raspberr

https://www.cnx-software.com/2020/02/18/raspberry-pi-4-uefiacpi-firmware-aims-to-make-the-board-sbbr-compliant/ https://www.cnx-software.com/2020/02/18/raspberry-pi-4-uefia... Once Raspberry Pi CM4 support is added, I assume that you would be able to work on drivers for PCIe devices as well. Besides, non-server vendors like NXP have released official boards with ARM ServerReady support.