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