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

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

>>阅读原文<<