OK have now got it working. I was getting a few things wrong.
-
I was using the rpi2 source but have OSMC on rpi1, so had to get the right source from the deb posted above by @Toast, then install it with dpkg --install xxx.deb
-
This post Tutorial: Compiling a working kernel driver for rtl8192eu was useful in getting the compile to work and avoid the missing mach/memory.h file (see step 3 in that post). Though maybe I didn’t need it any more as I was using the wrong source in the first place?
-
The other page I used was How to Obtain, Build and Install V4L-DVB Device Drivers - LinuxTVWiki. It took a long time to compile all of this on the Pi - Surely there’s a way to just compile the one you need? There probably is, but I just haven’t found it yet!
So with the update drivers compiled and loaded, the stick is now recognised and the right firmware loaded (though with warnings about using the drivers on an old kernel version)
- Finally, and not really relatedly, USE SHIELDED Coax cable!! I can’t tell you how long I spent mucking about with the aerial cable, only to realise that is was running alongside a power extension cable which must have been messing up the signal. This is the FIRST thing to check if your OSMC says “no input detected” from TVHeadEnd