search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Microkit stack size #98

Open dstorer-cap opened 5 months ago

dstorer-cap commented 5 months ago

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.

Bill-James-Ellis commented 5 months ago

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.