Does anyone know why the variables in arch/arm/footbridge/footbridge_irq.S
are declared as .text instead of .data or .bss ?

It seems a rather bad practice to me to be modifying the text segment.

The kernel text segment is declared as AP_KR in cats_machdep.c, so my
guess is that it only works because the variables only get written to
from irq32 mode.

Robert Swindells