Hello, We are planning to use BCM43907 which has 320MHZ ARM Cortex R4. This is without MMU. I wanted to check the extent of support in Linux Kernel for Arm-Cortex R4? Does the mainline kernel support boot on ARM-Cortex R4? Thanks for your help. Regards, Sriram