denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

base: Preserve 1MB more of memory for core to accomodate for larger memory consumption by TOPO.

Browse Source
This commit is contained in:
Michael Mueller
2023-03-27 17:09:41 +02:00
parent 3f690a1e32
commit 9dc7af6ba8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/src/core/main.cc
View File

@@ -286,7 +286,7 @@ int main()
size_t const avail_ram_quota = core_pd.avail_ram().value;
size_t const avail_cap_quota = core_pd.avail_caps().value;
size_t const preserved_ram_quota = 224*1024;
size_t const preserved_ram_quota = 224*1024+(1<<20);
size_t const preserved_cap_quota = 1000;
if (avail_ram_quota < preserved_ram_quota) {