Adjust test-fault_detection cap quota for seL4

This commit is contained in:
Norman Feske 2021-04-13 09:59:57 +02:00
parent e28709d54d
commit 7c01053842

View File

@ -208,7 +208,7 @@ struct Faulting_loader_grand_child_test
void start_iteration(Env &env, Signal_context_capability fault_sigh)
{
loader.construct(env, Ram_quota{4*1024*1024}, Cap_quota{120});
loader.construct(env, Ram_quota{4*1024*1024}, Cap_quota{130});
/* import config into loader session */
{