Opened 13 years ago
Closed 12 years ago
#449 closed enhancement (fixed)
devctl and locinfo should print driver and server names
Reported by: | Jiri Svoboda | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | 0.5.0 |
Component: | helenos/unspecified | Version: | mainline |
Keywords: | Cc: | ||
Blocker for: | Depends on: | ||
See also: | #217 |
Description
devctl and locinfo output would be more informative if they included driver/server name for each function/service. The numerical IDs could, on the other hand, be probably removed, since you can't use them as shorthand in place of the full textual name, at least not at the moment.
Change History (3)
comment:1 by , 13 years ago
See also: | → #217 |
---|
comment:2 by , 12 years ago
comment:3 by , 12 years ago
Milestone: | → 0.5.0 |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note:
See TracTickets
for help on using tickets.
Fixed in mainline,1524 and mainline,1525. The 'loc' output is slightly less interesting at this point, since all device services show up as having server 'devman' (so only non-driver services have interesting information). In the future it is expected that drivers will register the services themselves, so driver names will show up instead.