Built with gcc (Debian 8.2.0-7) 8.2.0.

The GRUB payload was created with the command below, and the Makefile
adapted to remove certain modules.

    $ make default_payload.elf
    pkgdatadir=. ./grub-mkstandalone --grub-mkimage=./grub-mkimage -O i386-coreboot -o default_payload.elf --modules='part_msdos ext2 at_keyboard cbfs' --install-modules='ahci ls linux search configfile normal cbtime cbls memrw iorw minicmd lsmmap halt reboot regexp chain test serial cbmemc gzio echo syslinuxcfg xnu boottime password_pbkdf2 ' --fonts= --themes= --locales= -d grub-core/ /boot/grub/grub.cfg=./coreboot.cfg
8 files changed