Curios how the benchmark compares when adding SSD on RPI 4? https://jamesachambers.com/raspberry-pi-4-usb-boot-config-gu...

I don't think it beats anything, but I am sure IO improves fairly significantly.

One of the things I found to be a problem is that most container images found on different registries are built for x86_64. You would need to rebuild those containers yourself on the RPI.