[SeaBIOS] [RFC] [PATCH 1/2] Implement support for transitioning from 16 bit to 32 bit

[Gerd Hoffmann]

On 11/23/10 14:24, Kevin O'Connor wrote:
> On Tue, Nov 23, 2010 at 11:32:13AM +0100, Gerd Hoffmann wrote:
> You need to make sure the 32bit function is only available in 32bit
> mode.  See below.

Hmm, still not working for me.

Is there some way to look at the code generated by gcc?
Trying 'objdump -d code16.o' looks bogous (16 vs 32bit issue?)

cheers,
   Gerd