6e1192019e
This has been replaced by the PAYLOAD_CONFIGFILE option, allowing any SeaBIOS config option to be set by a platform. Change-Id: I584c4c481266740840158baba76581d68e69b448 Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: https://review.coreboot.org/12570 Tested-by: build bot (Jenkins) Reviewed-by: Alexander Couzens <lynxis@fe80.eu> |
||
|---|---|---|
| .. | ||
| FILO | ||
| GRUB2 | ||
| SeaBIOS | ||
| linux | ||
| tianocore | ||
| tint | ||
| Makefile.inc | ||