>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes: Thomas> The VGA16 dumping feature probably doesn't make much sense on anything Thomas> else than x86 and x86-64, as it is accessing I/O ports that seem Thomas> PC-specific. Committed, thanks. -- Bye, Peter Korsgaard