[SeaBIOS] ia16 gcc port - handy for SeaBIOS?

[Gerd Hoffmann]

On Di, 2017-05-16 at 15:39 +0200, Rudolf Marek wrote:
> Hi all,
> 
> Perhaps you already noticed. There are efforts to resurrect true 16-bit only x86
> GCC port [1][2]. I added it coreboot cross toolchain script.
> 
> https://review.coreboot.org/#/c/19711/
> 
> You can compile it ./buildgcc  -j4 -p ia16-elf
> 
> So far, I only tried to compile some simple programs, but I believe it could be
> handy for SeaBIOS 16-bit code, which could be true 16-bit.

Sounds interesting, especially for vgabios where we have lots of
workarounds for 16bit emulators handling 32bit instructions not
correctly.

But I guess I would just wait and see for now, until this is merged and
present in gcc/binutils releases.

cheers,
  Gerd