diff options
| -rwxr-xr-x | getseabios | 2 | ||||
| -rw-r--r-- | resources/seabios/config/config | 9 |
2 files changed, 9 insertions, 2 deletions
@@ -40,7 +40,7 @@ cd seabios # Reset to the last commit that was tested # -------------------------------------------------------------------------------- -git reset --hard 67d1fbef0f630e1e823f137d1bae7fa5790bcf4e +git reset --hard 9f505f715793d99235bd6b4afb2ca7b96ba5729b # Apply patches # -------------------------------------------------------------------------------- diff --git a/resources/seabios/config/config b/resources/seabios/config/config index 8c7f580d..1f8a4d21 100644 --- a/resources/seabios/config/config +++ b/resources/seabios/config/config @@ -70,10 +70,14 @@ CONFIG_VGAHOOKS=y # VGA ROM # # CONFIG_NO_VGABIOS is not set +# CONFIG_VGA_STANDARD_VGA is not set +# CONFIG_VGA_CIRRUS is not set +# CONFIG_VGA_BOCHS is not set # CONFIG_VGA_GEODEGX2 is not set # CONFIG_VGA_GEODELX is not set CONFIG_VGA_COREBOOT=y CONFIG_BUILD_VGABIOS=y +CONFIG_VGA_EMULATE_TEXT=y CONFIG_VGA_ALLOCATE_EXTRA_STACK=y CONFIG_VGA_EXTRA_STACK_SIZE=512 CONFIG_VGA_VBE=y @@ -81,4 +85,7 @@ CONFIG_VGA_VBE=y # # Debugging # -CONFIG_DEBUG_LEVEL=0 +CONFIG_DEBUG_LEVEL=1 +CONFIG_DEBUG_SERIAL=y +CONFIG_DEBUG_SERIAL_PORT=0x3f8 +CONFIG_DEBUG_COREBOOT=y |