Cristiano Giuffrida 3f82ac6a4e services: Selectively enable stateful restart. ...

Change-Id: Ibf6afa3041013ca714e28b673abb1329cd72d2d5

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

..

dmp_ds.c

Add live update-friendly annotations.

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

dmp_fs.c

New sources layout

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

dmp_kernel.c

New sources layout

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

dmp_pm.c

ARM: can build with llvm, switch to EABI

2014-12-12 13:04:56 +01:00

dmp_rs.c

ARM: can build with llvm, switch to EABI

2014-12-12 13:04:56 +01:00

dmp_vm.c

New sources layout

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

dmp.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

inc.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

proto.h

New sources layout

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