This website requires JavaScript.
Explore
Help
Sign In
Minix
/
minix
Watch
1
Star
0
Fork
0
You've already forked minix
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
Files
fb53eb09cf47e5397dcc6b99bc5c6f156470e08e
minix
/
servers
/
devman
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
