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

[Kevin O'Connor]

On Tue, Nov 23, 2010 at 02:54:57PM +0100, Gerd Hoffmann wrote:
> 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?)

I use:

objdump -m i386 -M i8086 -M suffix -ldr out/code16.o

-Kevin