seL4
Microkit stack size
Hi, currently there is no easy way to configure the stack size. It would be nice to be able to set it without having to update and rebuild the sdk.
Some more context: It looks like Microkit provides the same default stack size for every Protection Domain. For one of our deployments, leveraging a richer C standard library, the default stack size was insufficient. This feels like a common need, rather than something unusually specific to our example.
Right now, we can work around this, by locally patching Microkit, to pick a larger default stack size. However, to avoid patches, and use standard Microkit, it would be desirable to (at least) a) Be able to externally select the stack size for all Protection Domains or (perhaps ideally) b) Be able to externally select the stack size for each Protection Domain. Such selections might be a logical inclusion in the system description XML file.
