The following are a few issues discovered in the course of investigating Debian bug #678042 [0], including the fix for that actual bug (which is cause by Xen not supporting SMM mode).
The following changes since commit 9166c4ae6d21d49bd97e0fb42eea2ffd6dd6f06d:
Xen: add definition of xen_hypercall_page (2012-06-27 21:07:24 -0400)
are available in the git repository at: git://xenbits.xen.org/people/ianc/seabios.git bugfixes
Ian Campbell (3): enable Xen support by default. Xen: Autodetect debug I/O port at runtime instead of via Kconfig SMM: Disable use of SMM when running under Xen
src/Kconfig | 9 +-------- src/output.c | 4 +++- src/smm.c | 3 +++ src/util.h | 1 + src/xen.c | 6 ++++++ 5 files changed, 14 insertions(+), 9 deletions(-)
Thanks, Ian.