David van Moolenbroek 1dcfbcd173 Remove support for call profiling ... The entire infrastructure relied on an ACK feature, and as such, it has been broken for years now, with no easy way to repair it. Change-Id: I783c2a21276967af115a642199f31fef0f14a572		2014-09-30 12:39:03 +00:00
..
devman	libvtreefs: use libfsdriver	2014-09-18 12:46:26 +00:00
ds	Move all services to /service	2014-07-31 16:00:31 +02:00
input	Move all services to /service	2014-07-31 16:00:31 +02:00
ipc	Move all services to /service	2014-07-31 16:00:31 +02:00
is	Move all services to /service	2014-07-31 16:00:31 +02:00
pm	Remove support for call profiling	2014-09-30 12:39:03 +00:00
rs	servers/rs: Add sanity check on executable size	2014-07-31 16:00:32 +02:00
sched	Move all services to /service	2014-07-31 16:00:31 +02:00
vfs	VFS: do not make cloned devices setuid/setgid	2014-09-29 16:16:27 +00:00
vm	VM: mem_shared: allow re-pagefault	2014-09-03 14:32:54 +02:00
Makefile	New sources layout	2014-07-31 16:00:30 +02:00
Makefile.inc	merge libminlib with libc	2014-08-28 18:49:19 +02:00