From f7629c38964a97d7d4b78d48d411829843776e53 Mon Sep 17 00:00:00 2001
From: Volker Ruppert <Volker.Ruppert@t-online.de>
Date: Sun, 29 Dec 2019 19:38:52 +0000
Subject: [PATCH] Bochs BIOS fix and update. - Added hack fix to make
 SeaVGABIOS work: init video mode if not done. - Update rombios32 release
 date.

---
 bochs/bios/rombios.c   | 13 ++++++++++++-
 bochs/bios/rombios32.c |  4 ++--
 2 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/bochs/bios/rombios.c b/bochs/bios/rombios.c
index 71e274803..ac7387605 100644
--- a/bochs/bios/rombios.c
+++ b/bochs/bios/rombios.c
@@ -2,7 +2,7 @@
 // $Id$
 /////////////////////////////////////////////////////////////////////////
 //
-//  Copyright (C) 2001-2018  The Bochs Project
+//  Copyright (C) 2001-2019  The Bochs Project
 //
 //  This library is free software; you can redistribute it and/or
 //  modify it under the terms of the GNU Lesser General Public
@@ -11075,6 +11075,17 @@ normal_post:
   mov  ax, #0xc780
   call rom_scan
 
+  ;; Hack fix: SeaVGABIOS does not setup a video mode
+  mov  dx, #0x03d4
+  mov  al, #0x00
+  out  dx, al
+  inc  dx
+  in   al, dx
+  test al, al
+  jnz  vga_init_ok
+  mov  ax, #0x0003
+  int  #0x10
+vga_init_ok:
   call _print_bios_banner
 
   ;;
diff --git a/bochs/bios/rombios32.c b/bochs/bios/rombios32.c
index ebbabb070..e729f6a3a 100644
--- a/bochs/bios/rombios32.c
+++ b/bochs/bios/rombios32.c
@@ -4,7 +4,7 @@
 //
 //  32 bit Bochs BIOS init code
 //  Copyright (C) 2006       Fabrice Bellard
-//  Copyright (C) 2001-2018  The Bochs Project
+//  Copyright (C) 2001-2019  The Bochs Project
 //
 //  This library is free software; you can redistribute it and/or
 //  modify it under the terms of the GNU Lesser General Public
@@ -1993,7 +1993,7 @@ smbios_entry_point_init(void *start,
     }
 
 /* Type 0 -- BIOS Information */
-#define RELEASE_DATE_STR "01/01/2007"
+#define RELEASE_DATE_STR "29/12/2019"
 static void *
 smbios_type_0_init(void *start)
 {