Viewing profile — ganshun

You could try this: https://github.com/tianocore/tianocore.github.io/wiki/UEFI-E... I don't know of any easily digestible document though.

Actually no. We've demonstrated this on boards without using coreboot support such as OCP's Winterfell machine. The reason is that we're inserting the Linux kernel in UEFI's DXE st…

The current way an x86 platform is booted to linux today uses mostly closed source UEFI DXE drivers, so the current boot flow is really (simplified) like this: UEFI DXE loads disk/…