Hey hey, QubesOS sollte nach meinem Wissenstand schon out-of-the-box funktionieren. Die OpenSource Coreboot Firmware wird aktuell entwickelt und wird zur Auslieferung auf jeden Fall mit EDK2 (UEFI Firmware) verfügbar sein.
Fill in the blank.