For anybody interested, here I've put a RT kernel for the Xilinx Zynq platform:git clone https://github.com/claudioscordino/linux-xlnx.git -b preempt_rt
make ARCH=arm xilinx_zynq_preempt_defconfig Best regards, Claudio -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html