ChibiOS Free Embedded RTOS

Is there any support for the following processors found on Xilinx FPGAs?
Cortex-A9
Cortex-A53
Cortex-R5F
Microblaze
Microblaze-V

I've been studying ardupilot. Would like to port it over to a Xilinx FPGA.

If none of these processors are currently support, perhaps you can suggest which processor would be the easiest and I could try to add the support.

Thanks

Hi,

The plain ARM port is able to support the 32 bits A9, 64 bits would require a new port (perfectly doable), other architectures would also be doable.

Giovanni