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

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

>>阅读原文<<