auxoncorp / ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.
https://ferros.auxon.io/
Apache License 2.0
107 stars 11 forks source link

Determine elf proc stack size by inspecting binary #51

Open mullr opened 5 years ago

mullr commented 5 years ago

We currently hardwire elf procs to have a 64k stack. We have the opportunity to find out their actual required stack size, using the keep-stack-sizes compiler directive (perhaps aided by https://crates.io/crates/stack-sizes) and some kind of call graph analysis, to figure out the maximum possible stack size. (This will break on recursive code, which is actually desirable. We at least want an explicit opt-out for that.)

mullr commented 5 years ago

See also https://crates.io/crates/cargo-call-stack