id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,field_blocks,field_dependson,field_seealso 460,Extend devctl with driver management,Jiri Svoboda,Jiri Svoboda,"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.",enhancement,assigned,major,,helenos/unspecified,mainline,,,,,,