These are files used in the docker container that runs QEMU