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