Map 0xe0000-0xfffff instead of 0xf0000-0xfffff.
authorMichał Januszewski <spock@gentoo.org>
Sun, 7 Sep 2008 23:25:22 +0000 (01:25 +0200)
committerMichał Januszewski <spock@gentoo.org>
Sun, 7 Sep 2008 23:25:22 +0000 (01:25 +0200)
commitff88e7e4e6741fe32bea0adea480ec1b9a683cd8
treec7cddd7deb2c4e9e25cc5b05755c5a8f4a3ff24e
parent116733d62ca34a22a28970786ede797bbfc6c98e
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