David van Moolenbroek 129adfeb53 Annotations and tweaks for live update ...

This change is necessary for instrumentation-aided state transfer.

Change-Id: I24be938009f02e302a15083f9a7a11824975e42b

2015-09-17 17:13:38 +00:00

..

alarm.c

New sources layout

2014-07-31 16:00:30 +02:00

const.h

New sources layout

2014-07-31 16:00:30 +02:00

exec.c

New sources layout

2014-07-31 16:00:30 +02:00

forkexit.c

INIT died problem / build system robustness

2014-08-28 08:52:50 +02:00

getset.c

New sources layout

2014-07-31 16:00:30 +02:00

glo.h

New sources layout

2014-07-31 16:00:30 +02:00

main.c

services: Selectively enable stateful restart.

2015-09-17 13:36:01 +00:00

Makefile

Move all services to /service

2014-07-31 16:00:31 +02:00

mcontext.c

New sources layout

2014-07-31 16:00:30 +02:00

misc.c

svrctl(2) update

2014-09-29 16:15:21 +00:00

mproc.h

Annotations and tweaks for live update

2015-09-17 17:13:38 +00:00

pm.h

New sources layout

2014-07-31 16:00:30 +02:00

profile.c

Remove support for call profiling

2014-09-30 12:39:03 +00:00

proto.h

Remove support for call profiling

2014-09-30 12:39:03 +00:00

schedule.c

New sources layout

2014-07-31 16:00:30 +02:00

signal.c

New sources layout

2014-07-31 16:00:30 +02:00

table.c

Remove support for call profiling

2014-09-30 12:39:03 +00:00

time.c

Move clock_time into libsys

2014-09-18 12:46:26 +00:00

trace.c

New sources layout

2014-07-31 16:00:30 +02:00

type.h

New sources layout

2014-07-31 16:00:30 +02:00

utility.c

New sources layout

2014-07-31 16:00:30 +02:00