This website requires JavaScript.
Explore
Help
Sign In
Minix
/
minix
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
Files
f56c4001d57552365259ca4184dd41f7bb43f921
minix
/
servers
/
devman
T
History
Dirk Vogt
00dcbb9dc6
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
..
bind.c
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
buf.c
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
device.c
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
devinfo.h
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
devman.h
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
main.c
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
Makefile
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
proto.h
Added Device Manager (USB hotplug support)
2011-02-23 13:48:03 +00:00
