Very impressive. In your RPi4 experiments would you benefit from having more DRAM if you didn't have the 1GB limit? I'm wondering how much difference the gic makes. Do you think there is a way to breakdown the performance uplift?
Regarding the GIC, first I think we should spend some time examining the benefits from the A72 upgrade. Then, breaking down the time spent on each step of the VM lifecycle should be fairly straightforward (annotate EL changes, capture numbers with perf or something similar).
Or is this about some 1GB barrier DMA limitation?
I did notice VideoCore can only access maximum 1GB of RAM. Related to that?
probably some kind of address mapping, but I'm no expert on this stuff ;-)