On Mon, Jul 11, 2011 at 09:20:32AM +0200, Gerd Hoffmann wrote: > ... and make it match with the declarations in acpi-dsdt.dsl. > > Signed-off-by: Gerd Hoffmann <kra...@redhat.com> > --- > src/config.h | 2 +- > 1 files changed, 1 insertions(+), 1 deletions(-) > > diff --git a/src/config.h b/src/config.h > index 687cac6..f2fce89 100644 > --- a/src/config.h > +++ b/src/config.h > @@ -40,7 +40,7 @@ > #define BUILD_BIOS_TMP_ADDR 0x30000 > #define BUILD_MAX_HIGHMEM 0xe0000000 > > -#define BUILD_PCIMEM_START 0xf0000000 > +#define BUILD_PCIMEM_START 0xe0000000
I thought there was some dependency on 0xe0000000 in the VGA BIOS. Has that been cleared up now? The patch series looks good to me. -Kevin _______________________________________________ SeaBIOS mailing list SeaBIOS@seabios.org http://www.seabios.org/mailman/listinfo/seabios