mount /dev/sda1 /boot mount -o remount,rw /boot rm /boot/kexec_* usb-scan mount -o rw $CONFIG_USB_BOOT_DEV /media mkdir /media/gpg_keys gpg --home=/media/gpg_keys --edit-card gpg --home=/media/gpg_keys --export --armor e@mail.address > /media/gpg_keys/public.key gpg --home=/media/gpg_keys --export-secret-keys --armor e@mail.address > /media/gpg_keys/private.key cbfs -o /media/coreboot.rom -a "heads/initrd/.gnupg/keys/public.key" -f /media/gpg_keys/public.key cbfs -o /media/coreboot.rom -a "heads/initrd/.gnupg/keys/private.key" -f /media/gpg_keys/private.key mount -o remount,ro /media flash.sh /media/coreboot.com cbmem --console | grep '^ME' cbmem --console | less