Vincent Rivière wrote:
If I remember well, the assembly routines in the Linux kernel doesn't use gas: if I remember well, it uses nasm instead.
This was a mistake. Linux kernel uses as86 (at least, old versions). -- Vincent Rivière