Make sel4 "state" feature opt-out-able across workspace#335

dlom wants to merge 1 commit into

seL4:mainseL4/rust-sel4:mainfrom

dlom:mold/make-state-not-default-everywheredlom/rust-sel4:mold/make-state-not-default-everywhereCopy head branch name to clipboard