I had searched extensively, but i needed some extra bits of info to construct a search term that found me anything useful. For example it isn’t clear straight away that osmc updates exclusively from it’s own repo, it could be pulling the base system from vanilla raspbian.
yes I’m duly warned that it is an unstable repo. The kernel I need however is already the default in various products , ie volumio, dietpi, max2play so I’m assuming/hoping it isn’t too unstable, even though the -devel osmc repo may be overall. That may be a wrong assumption, maybe none of those products are stable, certainly I couldn’t get volumio working correctly.
thing is really i don’t need or want to switch to -devel, I just want to swap out the kernel for a newer/custom one - I’ve done this before on desktop systems , can’t remember how and wouldn’t assume it was the same so I hoped maybe there was a guide for doing that somewhere…
at this point I am just testing - I don’t absolutely need anything to work - it’s linux after all. I’ve never had a linux based system I didn’t have to fix something on myself… and I’ve tried loads of them.
but maybe you are right, although I can probably handle using -devel if I have to it may be more effort than is reasonable for the results if the DAC drivers inclusion in the release system is imminent anyway.
i guess I can try dietpi with kodi to get the DAC going and come back to osmc once the 4.9 kernel release is out. I’ll see how much time I have to mess with it.