I have cross-compiled and installed the Linux kernel with the real-time patch, version 3.18.16-rt13-v7+, on a raspberrypi but then I can't find the current kernel source in
/usr/src. Then I tried the following, without success:
pi@raspberrypi:$ sudo apt-get source linux-image-$(uname -r) Reading package lists... Done Building dependency tree Reading state information... Done E: Unable to find a source package for linux-image-3.18.16-rt13-v7+
I need the kernel source in order to compile and install the Etherlab-master.