monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

70 stars 37 forks source link

monitor: Increase BOOTSTRAP_INVOCATION_DATA_SIZE #80

Closed nspin closed 5 months ago

nspin commented 8 months ago

To enable protection domains with larger memory footprints.

https://github.com/seL4/rust-microkit-http-server-demo, for example, requires at least 122 seL4_Words.

Ivan-Velickovic commented 5 months ago

Lowered to 150 as internally at TS we've been able to build fairly large systems without increasing it above 150. Not that it matters much as this part of the monitor will be removed soon once the capDL initialiser is used. I just didn't want to increase the number by too much since I'd like to do a comparison of memory usage before and after the capDL changes.