重磅推薦｜ACRN 之InterruptWindow功能正確性形式化驗證

點擊上方「中興開發者社區」，關注咱們算法 天天讀一篇一線開發者原創好文api 1. ACRN背景簡介 安全 ACRN是Linux基金會今年發佈的一款新的嵌入式hypervisor參考軟件，項目的官方名稱爲ACRN，這是一個專爲物聯網和嵌入式設備設計的管理程序。該項目得益於英特爾代碼和工程的貢獻，其目標是建立一個靈活小巧的虛擬機管理系統。經過基於 Linux 的服務操做系統，ACRN 能夠同時運行多

>>阅读原文<<