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

Change-Id: Ibf6afa3041013ca714e28b673abb1329cd72d2d5

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

..

inc.h

Turn PCI into a character driver

2014-11-10 14:43:27 +01:00

ipc.conf

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

sem.c

New sources layout

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

shm.c

New sources layout

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

utility.c

New sources layout

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