[SeaBIOS] Bug#678042: seabios - Please enable Xen support

Bastian Blank waldi at debian.org
Sat Jun 23 15:02:49 CEST 2012


On Wed, Jun 20, 2012 at 10:25:13AM +0100, Ian Campbell wrote:
> In this context I thought it would also be useful to make
> CONFIG_DEBUG_IO_PORT dynamic.

I think it is easier to either wire 0x402 into Xen or switch completely
to it. Is there something like a standard for it?

Bastian

-- 
Madness has no purpose.  Or reason.  But it may have a goal.
		-- Spock, "The Alternative Factor", stardate 3088.7



More information about the SeaBIOS mailing list