On Mon, 4 Jul 2011, Tixy wrote:
We've been talking about data-processing instructions but I've also done similar for "ldr pc, [...]" as Arnd suggested that we might have single kernel binaries that execute on both ARMv4 and v5 hardware.
Sure, and I think we already do with some configurations. But in that case nothing should ever use Thumb mode in the kernel.
Nicolas