[libre-riscv-dev] Rust and safety-critical

[Cole Poirier]

I’ve read a few of their other blog posts because they were in the this-week-in-rust newsletter, they seem to be a really high quality rust consultancy, so I’m excited to see them leading the safety critical rust effort!

Cole

> On Feb 14, 2020, at 8:19 AM, Jacob Lifshay <programmerjake at gmail.com> wrote:
> 
> this just came out: https://ferrous-systems.com/blog/sealed-rust-the-plan/
> 
> Jacob
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev