edk2.aarch is a 2 MB binary, which — while I'm sure it's bigger than uboot — isn't exactly big compared to any modern SD card.
I'd be interested to know what the memory footprint is like. I don't have an easy way to measure it.
I'd be interested to know what the memory footprint is like. I don't have an easy way to measure it.
Note that these numbers will also include Arm Trusted Firmware and firmware tables.