the following patch was just integrated into master: commit c6a8d2ca7b80dc82f9a119379bff2106bcb6e405 Author: Martin Roth martinroth@google.com Date: Sat Nov 28 16:30:40 2015 -0700
intel/mohonpeak: Change SEABIOS_MALLOC_UPPERMEMORY to config_seabios
Instead of the SEABIOS_MALLOC_UPPERMEMORY option, use a saved SeaBIOS .config file to do the same thing.
Change-Id: I29110a382b7770329ef938876426e571fbbbb339 Signed-off-by: Martin Roth martinroth@google.com Reviewed-on: https://review.coreboot.org/12569 Tested-by: build bot (Jenkins) Reviewed-by: Alexander Couzens lynxis@fe80.eu
See https://review.coreboot.org/12569 for details.
-gerrit