This will eventually affect the rust Rumprun/seL4 sample apps. So they may need to get dropped from regression or pinned to a particular rust version. https://github.com/rumpkernel/rumprun/issues/135 https://github.com/rust-lang/rust/issues/81514