From e8d17af1d0bfe60ef566de4984e69e58f5c44183 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 19 Apr 2018 15:05:19 +0200
Subject: [PATCH] depot_download_mgr: raise chroot quota for sel4

Give chroot 32K more to satisfy Sel4 on x86 64-bit.

Issue #2781
---
 repos/gems/src/app/depot_download_manager/gen_chroot.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/src/app/depot_download_manager/gen_chroot.cc b/repos/gems/src/app/depot_download_manager/gen_chroot.cc
index 5dcc2bcbd8..11c9604a2e 100644
--- a/repos/gems/src/app/depot_download_manager/gen_chroot.cc
+++ b/repos/gems/src/app/depot_download_manager/gen_chroot.cc
@@ -17,7 +17,7 @@ void Depot_download_manager::gen_chroot_start_content(Xml_generator &xml,
                                                       Archive::User const &user)
 {
 	gen_common_start_content(xml, Path("/depot/", user),
-	                         Cap_quota{100}, Ram_quota{1*1024*1024});
+	                         Cap_quota{100}, Ram_quota{1*1024*1024 + 32*1024});
 
 	xml.node("binary", [&] () { xml.attribute("name", "chroot"); });