3 ms·
> 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 boar
by electromech 4y ago
> 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.
- jtgans 4y agoYeahh, sorry! We had a short timeframe and wanted to get something out for something most folks had, so the Pi seemed like an obvious target. 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!)
- grodriguez100 4y agoSTM32MP15x.