Re: [SeaBIOS] [PATCH 5/5] pci: set BUILD_PCIMEM_START to 0xe0000000

[Kevin O'Connor]

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
>
> 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