電子與嵌入式系統設計叢書

內容簡介本書由資深虛擬化專家撰寫，輔以大量驗證式案例，提供參考源碼。本書從解讀虛擬化技術、Hypervisor產品入手，之後深入剖析嵌入式Hypervisor的架構、設計與實現、高級應用。閱讀本書，不僅能提升讀者對嵌入式Hypervisor的認知，還能助力汽車、航空航天等高安全需求行業打造適用的產品，構建基於Hypervisor的軟件生態。全書共15章，從邏輯上分為三部分。第一部分(第1～2章)介紹Hypervisor基礎，涵蓋虛擬化技術與實現、主流的嵌入式Hypervisor產品，以及基於分離內核的嵌入式Hypervisor等內容。第二部分(第3～12章)介紹嵌入式Hypervisor的設計與實現，涵蓋嵌入式Hypervisor架構與核心組件、中斷隔離技術、內存隔離技術、循環表調度器、健康監控、分區間通信技術、內核資源管理模型、系統初始化過程、內核服務、PRTOS的配套工具等內容。第三部分(第13～15章)介紹嵌入式Hypervisor的高級應用和PRTOS未來規劃，涵蓋μC/OS-II與Linux內核的虛擬化過程以及PRTOS社區的願景等內容。