On Sun, Nov 08, 2009 at 08:53:25PM +0000, Quentin Garnier wrote: > Ok, I understand now. So it's not a gcc bug, but rather that we don't > compile the kernel and the modules properly on amd64. We need to > compile them with -fno-red-zone. Makefile.amd64 certainly sets -mcmode=kernel -mno-red-zone. Joerg