Extend devctl with driver management
|Reported by:||Jiri Svoboda||Owned by:||Jiri Svoboda|
|Blocker for:||Depends on:|
Currently on a running system if I feel like a driver was not attached because I am missing a PCI ID in one of my driver
*.ma files, I can edit that file, but then there is no way to tell the Device manager to reload that
devctl could be extended with a command to reload the
.ma file for a specific driver (or all drivers), possibly also with a command to list all available drivers (loaded drivers), load or unload a driver.