From 67a8f2969708f88999659b10a1f68109f84204cf Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Mon, 17 May 2021 14:56:50 +0200 Subject: [PATCH] rump_ext2.run: increase cap quota for sel4 --- repos/dde_rump/run/rump_ext2.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/dde_rump/run/rump_ext2.run b/repos/dde_rump/run/rump_ext2.run index aae5b29348..a7dea12adf 100644 --- a/repos/dde_rump/run/rump_ext2.run +++ b/repos/dde_rump/run/rump_ext2.run @@ -58,7 +58,7 @@ append config { - +