UKRI seeks CHERI tools for research.
UK Research & Innovation (UKRI) is procuring CHERI tools, likely for research and development in computer architecture security. The notice suggests a requirement for specialized tools related to CHERI (Capability Hardware Enhanced RISC Instructions) technology. The buyer is a UK public research body. No specific qualifications, scale, or duration are mentioned. The procurement appears to be for software or hardware tools supporting CHERI-based systems.