FROM scratch
# Download the amazon-provided kernel
ADD https://s3.amazonaws.com/spec.ccfc.min/img/hello/kernel/hello-vmlinux.bin /boot/vmlinux
