From b153154382c93b79f9ecd342174520577169df91 Mon Sep 17 00:00:00 2001 From: julia Date: Wed, 4 Jun 2025 16:48:53 +1000 Subject: [PATCH] cmake: remove reference to old BI_CAP_DYN_START This was removed in 2016 289bf92bf0713f9060f3a43c0ee91f2a06d9e4d7. Additionally, 5fac9e81989c23d679ce33c8f345b1c794288b56 removed the section of the comment regarding having enough room for all the untyped caps; because otherwise "enough space for 12 caps" is somewhat uninteresting (most of the cspace is taken up by untypeds). Signed-off-by: julia --- config.cmake | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/config.cmake b/config.cmake index 7c97174af..71e6eda94 100644 --- a/config.cmake +++ b/config.cmake @@ -112,7 +112,8 @@ config_set(KernelPaddrUserTop PADDR_USER_DEVICE_TOP "${KernelPaddrUserTop}") config_string( KernelRootCNodeSizeBits ROOT_CNODE_SIZE_BITS "Root CNode Size (2^n slots) \ The acceptable range is 8-27 and 7-26, for 32-bit and 64-bit respectively. \ - The root CNode needs at least enough space to contain up to BI_CAP_DYN_START." + The root CNode needs at least enough space to contain seL4_NumInitialCaps \ + plus enough room for all the Untyped Caps." DEFAULT 12 UNQUOTE )