From ff88e7e4e6741fe32bea0adea480ec1b9a683cd8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20Januszewski?= <spock@gentoo.org>
Date: Mon, 8 Sep 2008 01:25:22 +0200
Subject: [PATCH] Map 0xe0000-0xfffff instead of 0xf0000-0xfffff.

Parts of the BIOS can be located in the 0xe000 memory segment.  Gentoo
bug #226107 provides at least one example where not mapping this part
of the memory caused the Video BIOS to fail.
---
 v86.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/v86.h b/v86.h
index b6be871..a64b6a2 100644
--- a/v86.h
+++ b/v86.h
@@ -46,8 +46,8 @@ void v86_cleanup();
 #define EBDA_BASE			0x9fc00
 #define VRAM_BASE			0xa0000
 #define VRAM_SIZE			0x20000
-#define SBIOS_SIZE			0x10000
-#define SBIOS_BASE			0xf0000
+#define SBIOS_SIZE			0x20000
+#define SBIOS_BASE			0xe0000
 #define VBIOS_BASE			0xc0000
 
 u32 v86_mem_alloc(int size);
-- 
2.11.4.GIT