Christian Helmuth 385b7cdd31 base-linux: revised region management ... Revised region management detects region conflicts by using _soft_ mappings per default. Overmapping is activated for population of managed dataspaces only. For more information see header documentation of base-linux/src/base/env/rm_session_mmap.cc. Fixes #883.		2013-09-26 15:07:08 +02:00
..
debug.cc	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
platform_env.cc	Attach affinity information to session requests	2013-08-13 17:08:25 +02:00
platform_env.h	base-linux: revised region management	2013-09-26 15:07:08 +02:00
rm_session_mmap.cc	base-linux: revised region management	2013-09-26 15:07:08 +02:00