Okay, after some digging I managed to make it run.
The problem was just that the kernel source couldn't be located despite
having it already in /usr/src
by unpacking the content of kernel-source-5.4.0.tar.bz2 to a fake linux-
headers-5.4.0-1018 directory and copying extra config files etc from th
Public bug reported:
When building kernel module on ubuntu 20.04 for raspberry (arm64), I get
the following error:
make -C /lib/modules/5.4.0-1018-raspi/build
SUBDIRS=/home/ubuntu/andor/src/driver modules
make[1]: Entering directory '/usr/src/linux-headers-5.4.0-1018-raspi'
HOSTCC scripts/sel
