ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-03 17:23:05 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: adjust cap ram quota of fault_detection.run

Browse Source
This commit is contained in:
Alexander Boettcher 2017-08-27 15:32:17 +02:00 committed by Christian Helmuth
parent 12eb7a44d0
commit 4c382d85b2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/test/fault_detection/main.cc
View File

@ -193,7 +193,7 @@ struct Faulting_loader_grand_child_test
" <any-service> <parent/> <any-child/> </any-service>\n" " <any-service> <parent/> <any-child/> </any-service>\n"
" </default-route>\n" " </default-route>\n"
" <start name=\"test-segfault\" caps=\"50\">\n" " <start name=\"test-segfault\" caps=\"50\">\n"
" <resource name=\"RAM\" quantum=\"10M\"/>\n" " <resource name=\"RAM\" quantum=\"2M\"/>\n"
" </start>\n" " </start>\n"
"</config>"; "</config>";
} }
@ -204,7 +204,7 @@ struct Faulting_loader_grand_child_test
void start_iteration(Env &env, Signal_context_capability fault_sigh) void start_iteration(Env &env, Signal_context_capability fault_sigh)
{ {
loader.construct(env, Ram_quota{2*1024*1024}, Cap_quota{100}); loader.construct(env, Ram_quota{4*1024*1024}, Cap_quota{110});
/* import config into loader session */ /* import config into loader session */
{ {