FROM debian:stretch-slim
RUN apt-get update && apt-get install -y --no-install-recommends ovmf qemu-system qemu-efi