Guys where I can find kernel source and linux headers for kernel version 3.14.12-parallella-xilinx-g40a90c3 (just created sdcard and uname -r return me this ^^). I wanna create my own kernel module to be able use timers on Zynq (or there is option to use it without unblock timer registers access). I was looking for it but I have not found
Please help!