Opened 12 years ago
Last modified 7 years ago
#460 assigned enhancement
Extend devctl with driver management
| Reported by: | Jiri Svoboda | Owned by: | Jiri Svoboda |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | helenos/unspecified | Version: | mainline |
| Keywords: | Cc: | ||
| Blocker for: | Depends on: | ||
| See also: |
Description
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 .ma file.
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.
Change History (3)
comment:1 by , 7 years ago
comment:3 by , 7 years ago
| Owner: | set to |
|---|---|
| Status: | new → assigned |
Note:
See TracTickets
for help on using tickets.
Some improvements since this ticket was filed: