Now we have a聽preliminary UEFI edk2 port for rk3399 boards with (kind of) working video聽output.

It is able to boot Windows and Linux with pure ACPI now, though the acpi is quite broken currently.

Windbg used to debug NT kernel over uart is basically working.

聽

You are welcomed to get involved to do some testing or offer some help!

Repo:聽https://github.com/edk2-porting/edk2-rk3399/

聽

聽