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-tukija: Had to increase quota for Platform PD after size increase of CIP due to reduction in false-sharing.

Browse Source
This commit is contained in:
Michael Mueller
2025-09-18 16:19:47 +02:00
parent 98b545d136
commit 0da523ce73
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-tukija/src/core/platform_pd.cc
View File

@@ -40,7 +40,7 @@ Platform_pd::Platform_pd(Allocator &, char const *label, signed, bool)
log("Creating PD for <", label, "> with cap selector ", _pd_sel); log("Creating PD for <", label, "> with cap selector ", _pd_sel);
/* create task */ /* create task */
enum { KEEP_FREE_PAGES_NOT_AVAILABLE_FOR_UPGRADE = 2, UPPER_LIMIT_PAGES = 32 }; enum { KEEP_FREE_PAGES_NOT_AVAILABLE_FOR_UPGRADE = 2, UPPER_LIMIT_PAGES = 192 };
uint8_t res = Tukija::create_pd(_pd_sel, platform_specific().core_pd_sel(), uint8_t res = Tukija::create_pd(_pd_sel, platform_specific().core_pd_sel(),
Tukija::Obj_crd(), Tukija::Obj_crd(),
KEEP_FREE_PAGES_NOT_AVAILABLE_FOR_UPGRADE, KEEP_FREE_PAGES_NOT_AVAILABLE_FOR_UPGRADE,