Yay, the embargo was finally lifted yesterday so we can talk about the UK Government funding for #CHERIoT!
They funded us (SCI) to do two projects, for a total of £7.7M:
- Bring #Rust on CHERIoT to production qualities.
- Build our second-generation chip with a dual-issue core, post-quantum crypto hardware, and an edge inference accelerator.