Thanks for the write-up.
The one comment I have is that you recommend using DKMS (Dynamic Kernel Module Support). Perhaps things will change in the move to Debian Buster but currently DKMS is not likely to work reliably on OSMC because:
-
As you already mention, you need to download the kernel source code from kernel.org and use this to fix the OSMC kernel headers. This need for a manual step breaks the whole reason for DKMS, which is to (re)build kernel modules automatically when the kernel changes.
-
Currently – and again this might change in Buster – there is no automatic mechanism for fetching the new OSMC kernel headers when a kernel update occurs.
-
Last time I looked, there was also a need to run the following command (this is for the Pi2/3):
sudo ln -s /usr/src/rbp2-headers-$(uname -r) /lib/modules/$(uname -r)/build
Again, this might not be necessary when we move to Buster.
We’ll see how things fare with Buster, but you might want to consider amending the instructions to those for building without DKMS.