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: Increased upper page limit to account for pages needed for CIP and TIP.

Browse Source
This commit is contained in:
Michael Mueller
2025-10-17 16:48:56 +02:00
parent 8845be160a
commit e3fff92481
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 = 192 }; enum { KEEP_FREE_PAGES_NOT_AVAILABLE_FOR_UPGRADE = 2, UPPER_LIMIT_PAGES = 1024 };
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,