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