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
..
msg_queue.h	Upgrade libddekit and introduce devmand.	2012-06-18 09:23:42 +02:00
pci.h	Full switch to clang/ELF. Drop ack. Simplify.	2012-02-14 14:52:02 +01:00