#morello
ARM Memory Model Tool: Morello (and Some Memory Tagging)(community.arm.com)
2020-11-11 5:50
这篇文章介绍了Morello在内存模型工具中的实现。读者应该对该工具有一些了解，该工具已在前面的文章中介绍：如何使用herd7 Memory Model工具以及如何使用diy7工具自动生成石蕊测试的工作示例。
Morello是ARM开发的基于功能硬件增强型RISC指令(CHERI)的安全架构。更多信息可以在ARM M......
The Arm Morello Board(www.cl.cam.ac.uk)
2020-7-2 3:492019年10月18日，ARM宣布将于2021年底推出Morello，这是一款实验性的Cheri扩展、多核、超标量ARMv8-A处理器、片上系统(SoC)和原型板。Morello是由英国工业战略挑战基金支持的UKRI GB 187M数字安全设计挑战(DSbD)的一部分，其中包括ARM承诺的超过5000万GB的承诺。这......