微软推出嵌入式安全物联网RTOS CHERIoT

eric2013

知识补充：
CHERI的全称是Capability Hardware Enhanced RISC Instructions，硬件增强RISC指令，由英国剑桥大学与美国SRI International的合作研究项目

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/



CHERIoT RTOS
小型嵌入式内核几乎没有空间用于安全功能，且基本都用不安全语言编写的代码，并且越来越多地暴露在敌对的互联网中。CHERIoT（用于物联网的RISC-V功能硬件扩展）建立在CHERI和RISC-V之上，提供ISA和软件模型，让依赖于对象粒度空间的软件在内存释放后具有确定性和安全性，直接暴露给 C/C++ 语言模型的轻量级划分。这可以在全新的RTOS上运行现有的嵌入式软件组件，该RTOS可扩展到大量隔离（安全通信）空间，即使在SRAM低于256 KB的系统上也是如此。

源码，这目前是一个开源的研究项目，以实现更广泛的合作
https://github.com/Microsoft/cheriot-rtos

cheri-ibex是32位RISC-V微控制器，除了RV32IMCB之外，它还实现了CheriIoT ISA扩展。与原始的 ibex 核心相同，该设计可以配置 2 级或 3 级管道。它已通过初步仿真和FPGA验证，目前正在微软进行进一步验证和PPA分析
https://github.com/Microsoft/cheriot-ibex

CHERIoT Sail指令集模型
https://github.com/Microsoft/cheriot-sail




去年年初的时候，由Arm，微软，剑桥大学和其他公司领导的研究项目Morello原型架构上线。Morello是CHERI扩展的第一个高性能实现
https://msrc.microsoft.com/blog/2022/01/an_armful_of_cheris/