> For now the only target that works is "aarch64" (for a raspi3b machine running in simulation on qemu).
Bummer! I recently purchased an STM32 development board specifically to try out Rust-based embedded projects like this.
Bummer! I recently purchased an STM32 development board specifically to try out Rust-based embedded projects like this.
That being said, seL4 has a hard requirement for an MMU, so I'm not sure an STM32 would work (based upon my admittedly very quick review of their product line for a side project of mine -- happy to be proven wrong!)