Google Announces KataOS and Sparrow

Re:Google Announces KataOS and Sparrow by electromech on Sunday October 16, 2022 @11:26AM (#33224303)

> 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.

[ Parent | on HN ]

Re:Google Announces KataOS and Sparrow by jtgans on Sunday October 16, 2022 @12:47PM (#33225057)

Yeahh, 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!)

[ Parent | on HN ]

Re:Google Announces KataOS and Sparrow by grodriguez100 on Sunday October 16, 2022 @01:48PM (#33225575)

STM32MP15x.

[ Parent | on HN ]