[SeaBIOS] [PATCH 6/7] sercon: add compile time option

[Gerd Hoffmann]

Signed-off-by: Gerd Hoffmann 
---
 src/Kconfig  |  5 +++++
 src/sercon.c | 10 ++++++++++
 2 files changed, 15 insertions(+)

diff --git a/src/Kconfig b/src/Kconfig
index e767be1..35e7433 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -300,6 +300,11 @@ menu "Hardware support"
         default y
         help
             Support serial ports.  This also enables int 14 serial port calls.
+    config SERCON
+        bool "Serial console"
+        default y
+        help
+            Support redirecting vga output to the serial console.
     config LPT
         bool "Parallel port"
         default y
diff --git a/src/sercon.c b/src/sercon.c
index d9b6143..c204af3 100644
--- a/src/sercon.c
+++ b/src/sercon.c
@@ -456,6 +456,8 @@ static void sercon_10XX(struct bregs *regs)
 void VISIBLE16
 sercon_10(struct bregs *regs)
 {
+    if (!CONFIG_SERCON)
+        return;
     if (!GET_LOW(sercon_port))
         return;

@@ -477,6 +479,8 @@ sercon_10(struct bregs *regs)
 void VISIBLE16
 sercon_10_splitmode(struct bregs *regs)
 {
+    if (!CONFIG_SERCON)
+        return;
     if (!GET_LOW(sercon_port))
         return;

@@ -499,6 +503,9 @@ sercon_10_splitmode(struct bregs *regs)

void sercon_enable(void)
 {
+    if (!CONFIG_SERCON)
+        return;
+
     struct segoff_s seabios, vgabios;
     u16 addr = PORT_SERIAL1;

@@ -596,6 +603,9 @@ static int findseq(void)
 void
 sercon_check_event(void)
 {
+    if (!CONFIG_SERCON)
+        return;
+
     u16 addr = GET_LOW(sercon_port);
     u16 keycode;
     u8 byte, count = 0;