@drewdevault we do it so that by default you boot u-boot from SD card but can also switch that to u-boot on eMMC flash, which can boot distros from SD card or USB stick. there is an effort to get EDK2 working with the RK3588 version of our laptop(s): https://github.com/edk2-porting/edk2-rk3588/issues/124