Ben Gras 683f1fcab3 vm: restartability improvements (#2) ...

also allocate vm pagetables dynamic-only.

further improves restart survivability.

Change-Id: Iac44845d9bd434408b23755274fa890a7b851373

2015-09-17 13:42:18 +00:00

..

devman

Add live update-friendly annotations.

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

ds

services: Selectively enable stateful restart.

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

input

Move all services to /service

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

ipc

services: Selectively enable stateful restart.

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

is

services: Selectively enable stateful restart.

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

pm

services: Selectively enable stateful restart.

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

rs

services: Selectively enable stateful restart.

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

sched

services: Selectively enable stateful restart.

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

vfs

services: Selectively enable stateful restart.

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

vm

vm: restartability improvements (#2)

2015-09-17 13:42:18 +00:00

Makefile

…

Makefile.inc

merge libminlib with libc

2014-08-28 18:49:19 +02:00