[seL4] Re: Microkit with smaller memory size

Hi Yanfeng Right now attributes like main memory are determined at compile time so if you want to change how much QEMU has you’d have to modify how Microkit compiles support for it. Here’s a patch that should work: ```patch diff --git a/build_sdk.py b/build_sdk.py index 2aefff6..aafc08c 100644 --

[seL4] Re: Microkit with smaller memory size

Ivan, Thanks a lot! Regards, yf On Sat, 2025-03-08 at 11:39 +, Ivan Velickovic via Devel wrote: > Hi Yanfeng > > Right now attributes like main memory are determined at compile time > so if you want to change how much QEMU has you’d have to modify > how Microkit compiles support for it. >