I have some new questions:
One of our customer is trying to build a wifi driver kernel module (GitHub - aircrack-ng/rtl8812au: RTL8812AU/21AU and RTL8814AU driver with monitor mode and frame injection) which our team uses on other platforms. In order to build this with dkms they need the kernel build/source directory for the linux headers.
There are two locations for this source code on the machine (linux kernel 4.9.140)
/lib/modules/4.9.140
Internally links build/source to /usr/src/linux-headers-4.9.140-tegra-ubuntu18.04_aarch64/kernel-4.9/ which doesn’t contain a configuration from make in include/config
/lib/modules/4.9.140-tegra
Internally links build/source to /home/donmichael/nx/source/Linux_for_Tegra/source/public/kernel/kernel-4.9 which doesn’t exist
The linux kernel headers cannot be installed for the correct kernel version (apt install linux-headers-4.9.140) since this doesn’t exist in the default apt repos for this machine. unfortunately we missed to add export LOCALVERSION=-tegra variable while building BSP from source.
In both cases of telling dkms where the linux headers are something breaks related to missing files or an incorrectly configured source directory.
Is there a way to access the kernel build/source for this custom l4t kernel to obtain the configured linux headers? Is there some other way you would guide me to run dkms to get this critical kernel module?