Christian Prochaska ca9ae43e50 base-linux: round up RM session size to page size ...

Since RM sessions can be used as dataspaces and dataspace sizes are
supposed to have page granularity, RM session sizes should have page
granularity, too.

Fixes #972.

2013-11-26 14:32:08 +01:00

..

base

base-linux: round up RM session size to page size

2013-11-26 14:32:08 +01:00

core

base: Unify 'Platform_env' across platforms

2013-10-05 12:44:36 +02:00

platform

base-linux: revised region management

2013-09-26 15:07:08 +02:00

test

base: do not allow unnamed threads

2013-10-22 08:00:07 +02:00