Hello I would like to apply the real-time patch to Xillinux or any other Ubuntu which I could run on the Zedboard.
Obviously Xillinux has a kernel 3.3 and the RT-Patch is only available for 3.2, 3.4, 3.6, 3.8?
Also the official Xilinx Kernel GIT is stated 3.9, but I'm unsure if the kernel would work with the Xillinux?
Could somebody shed some light on the topic?