So recently I had to do some work with a low-level hardware framework. This required extensive use of driverctl
- which is part of the driverctl
package, at least in other versions of Ubuntu (I see it in 19.10 and forward)
There is a "supported" version of the framework I'm using, specifically for Ubuntu 18.04 and Azure, so I decided to switch to that as there would at least be some community support as I ran into issues.
I built an 18.04 system and found that there is no driverctl
package available. It's a stock install, I've done apt-get update
.. am I missing something? I tried apt-cache search driverctl
and found nothing either.
I used this site (not official, I know) to check to see if the driverctl
package was in one of the 18.04 repositories, to see if maybe my apt
source were broken, but didn't see it for 18.04 there either
Anyone have any ideas here?
I figure unless someone knows something I don't, my only options are:
- Build from the 19.10 source package and inspect the configuration before doing so, trying to confirm it will work OK with the way 18.04 udev is configured/installed
- Install the .deb from 19.10 - a little risky to do blindly with something dealing with udev and device drivers
- Build from vanilla source. This will take longer as I'll really have to study (at least) how Ubuntu udev is set up and possibly what patches are applied
- Upgrade to 19.10 (and then lose the "official" support that I wanted ...)
I don't really love any of these options, but I'm not sure what other options I have
If someone is familiar with how udev
may differ between 18.04 and 19.10, that would be helpful in giving me some confidence that there may be good compatibility between the 19.10 driverctl
package and the 18.04 udev