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.47+gitAUTOINC+3ddaed3671_2d533948da
LICENSE: GPLv2
FILES: startup.nsh bzImage--4.9.47+git0+3ddaed3671_2d533948da-r0-intel-corei7-64-20171016224600.bin

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

RECIPE NAME: rmc-db
VERSION: 1.0
LICENSE: MIT
FILES: rmc.db

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