Except in this case they are just running a linux payload - that which pretty much any firecracker provider could do.