> Fly.io simply boots a Linux kernel, and the Docker image you give it

There is nothing "simply" in a Rube Goldberg machine of such magnitude.