重磅推荐｜ACRN 之InterruptWindow功能正确性形式化验证

点击上方“中兴开发者社区”，关注咱们算法 天天读一篇一线开发者原创好文api 1. ACRN背景简介 安全 ACRN是Linux基金会今年发布的一款新的嵌入式hypervisor参考软件，项目的官方名称为ACRN，这是一个专为物联网和嵌入式设备设计的管理程序。该项目得益于英特尔代码和工程的贡献，其目标是建立一个灵活小巧的虚拟机管理系统。经过基于 Linux 的服务操做系统，ACRN 能够同时运行多

>>阅读原文<<