We mention CHERIoT in software map in various sections (ie. LLVM, Rust) but only provide DL to the source code there - which is semi-useful, instead we should just provide a link to the CHERIoT dev container for all CHERIoT software that we catalog, see the source for its devcontainer
We mention CHERIoT in software map in various sections (ie. LLVM, Rust) but only provide DL to the source code there - which is semi-useful, instead we should just provide a link to the CHERIoT dev container for all CHERIoT software that we catalog, see the source for its devcontainer