EDK II is a modern, feature-rich, cross-platform firmware development environment for the UEFI and UEFI Platform Initialization (PI) specifications.

https://community.arm.com/developer/too … dk-ii-uefi

Правильно ли я понимаю, что именно его код распространяется с сайта разработчика процессора?

https://share.baikalelectronics.ru/inde … mLt4MpeDAg

Код:
2) UEFI tianocore, лицензия BSD.

https://github.com/tianocore/tianocore.github.io/wiki

    Поддерживается загрузка Linux с SPI, SATA, 1G Ethernet
    и USB карты памяти. Есть видеоконсоль HDMI и USB
    мышь/клавиатура. Консольный вывод в UART0. Добавлена
    поддержка 3 x PCIe RC.

Отредактировано Лис (2021-02-02 13:12:43)