diff options
Diffstat (limited to 'resources/seabios/config')
| -rw-r--r-- | resources/seabios/config/config | 9 |
1 files changed, 8 insertions, 1 deletions
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 |