Hi Attempting to follow these instructions for compiling a module: https://fedoraproject.org/wiki/Building_a_custom_kernel I find that yumdownloader --source kernel gives me kernel-4.0.0-0.rc1.git2.1.fc23.src.rpm whereas uname -r -> 3.19.0-0.rc7.git3.1.fc22.armv7hl How do I get kernel sources for my kernel version? Thanks