I'm looking at buying this hardware:
https://www.aliexpress.us/item/3256809202705147.html
I want to know what boot firmware this uses and if it's open source (can I see the source code repo)? Looking at videos it looks like it's at least heavily based on edk2?
I'm looking at buying this hardware:
https://www.aliexpress.us/item/3256809202705147.html
I want to know what boot firmware this uses and if it's open source (can I see the source code repo)? Looking at videos it looks like it's at least heavily based on edk2?