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 stage, whereas cpu init such as memory…
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 stage, whereas cpu init such as memory…