RECIPE NAME: grub-efi
VERSION: 2.00
LICENSE: GPLv3
FILES: grub-efi-bootx64.efi

RECIPE NAME: intel-microcode
VERSION: 20170511
LICENSE: Intel-Microcode-License
FILES: microcode_20170511.cpio

RECIPE NAME: linux-intel
VERSION: 4.9.56+gitAUTOINC+cdbd35c54b_e8405acd54
LICENSE: GPLv2
FILES: bzImage--4.9.56+git0+cdbd35c54b_e8405acd54-r0-intel-corei7-64-20171210233455.bin startup.nsh

RECIPE NAME: ovmf
VERSION: git
LICENSE: BSD
FILES: ovmf.vars.qcow2 ovmf.code.qcow2 ovmf.qcow2

RECIPE NAME: systemd-boot
VERSION: 232
LICENSE: GPLv2 & LGPLv2.1
FILES: systemd-bootx64.efi