minix/lib/libddekit/src
Kees Jongenburger ade7dc8ded Upgrade libddekit and introduce devmand.
Devmand (Device manager daemon) is the daemon that will
dynamically manage services based on events received from
the system.
2012-06-18 09:23:42 +02:00
..
common.h
condvar.c
dde.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
dde.h
debug.h
initcall.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
irq.c
irq.h
lock.c
mem.c
msg_queue.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
panic.c
pci.c
pgtab.c
printf.c
resource.c
semaphore.c
thread.c
thread.h
timer.c
timer.h
usb_client.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
usb_server.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
util.h