[PATCH] [x86] Add x86_16 target

[Joerg Sonnenberger]

On Wed, Jan 08, 2014 at 02:23:28PM +0000, David Woodhouse wrote:
> On Wed, 2014-01-08 at 15:05 +0100, Joerg Sonnenberger wrote:
> > 
> > Given this, I wonder if it would be a better idea to implement it as
> > environment of i386--* like x32 is.
> 
> Is it? I thought it was x86_64-pc-linux-gnux32 ? The *arch* is x86_64
> but the *environment* is gnux32.

Yes, I meant "x32 is for x86_64 what x16 is for i386".

Joerg