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 added libddekit 2011-02-25 12:40:31 +00:00
condvar.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
dde.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
dde.h added libddekit 2011-02-25 12:40:31 +00:00
debug.h added libddekit 2011-02-25 12:40:31 +00:00
initcall.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
irq.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
irq.h retire _PROTOTYPE 2012-03-25 16:17:10 +02:00
lock.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
mem.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
msg_queue.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
panic.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
pci.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
pgtab.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
printf.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
resource.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
semaphore.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
thread.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
thread.h added libddekit 2011-02-25 12:40:31 +00:00
timer.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
timer.h added libddekit 2011-02-25 12:40:31 +00:00
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 added libddekit 2011-02-25 12:40:31 +00:00