Andrew Robbins 2d1b5a6a32 Amend path to SeaBIOS payload in coreboot configs %!s(int64=6) %!d(string=hai) anos
..
grub 92710d5490 Create SeaBIOS/GRUB targets for KFSN4-DRE Coreboot %!s(int64=6) %!d(string=hai) anos
seabios 2d1b5a6a32 Amend path to SeaBIOS payload in coreboot configs %!s(int64=6) %!d(string=hai) anos
config b4b4fca860 Create 1,2mb Coreboot configs/targets for KFSN4-DRE %!s(int64=6) %!d(string=hai) anos
targets 92710d5490 Create SeaBIOS/GRUB targets for KFSN4-DRE Coreboot %!s(int64=6) %!d(string=hai) anos