[coreboot] How can I call the interrupt of SeaBIOS in coreboot?

[Kevin O'Connor]

On Tue, Jul 15, 2008 at 11:21:38PM +0800, Zhang Rui wrote:
> But when I returned to coreboot and call int19, nothing happens.
> It can boot correctly when call int19 in SeaBIOS.
> Maybe it has something to do with the stack?
> How can I call the interrupt of SeaBIOS in coreboot?

Not sure how you tried to do this.  It should just be a matter of
transitioning to 16bit mode and then executing 'int 0x19'.  You do not
need to worry about the stack as seabios already initializes that as
part of its int19 code.

-Kevin