Hi H.J.
> This patch implements the .note.GNU-property section I proposed. It
> works on Linux/ia32 and Linux/ia64.
I would prefer holding off applying this patch until we have a use for
it. Otherwise it would just bit rot away over time.
Cheers
Nick