Is anyone interested at all in the 32-bit x86 Rust userspace libraries? I'm considering dropping support for them, as I don't personally plan to have any support for them in Robigalia, instead focusing on x86_64.
Note that this wouldn't impact any Rust CAmkES components using the support in the sel4 buildsystem, just the sel4-sys, rust-sel4, etc crates.