mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 16:31:06 +00:00
385b7cdd31
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.
12 lines
209 B
Tcl
12 lines
209 B
Tcl
#
|
|
# \brief Test for Linux-specific region map (dynamic binary)
|
|
# \author Christian Helmuth
|
|
# \date 2013-09-06
|
|
#
|
|
|
|
set test_type "dynamic"
|
|
|
|
source ${genode_dir}/base-linux/run/lx_rmap.inc
|
|
|
|
# vi: set ft=tcl :
|