Bao輕量級嵌入式虛擬機管理程序

Bao?是一個輕量級、開源的嵌入式虛擬機管理程序，旨在提供強大的隔離和實時保證。Bao 提供了分區管理程序架構的最小的實現。

Bao 主要針對混合臨界系統而設計，非常注重隔離以實現故障遏制和實時行為。它的實現僅包括一個小的特權軟件層，利用 ISA 虛擬化支持來實現靜態分區管理程序架構：資源在 VM 實例化時被靜態分區和分配；使用兩階段翻譯靜態分配內存；IO 僅為直通；虛擬中斷直接映射到物理中斷；它實現了虛擬 CPU 到物理 CPU 的 1-1 映射，無需調度程序。

Bao 沒有外部依賴性，它包含一個小得多的 TCB。

支持的平臺

支持的平臺的完整列表如下所示：

Armv8-A

• Xilinx Zynq UltraScale+ MPSoC ZCU102
• Xilinx Zynq UltraScale+ MPSoC ZCU104
• Ultra96 Zynq UltraScale+ ZU3EG
• NXP MCIMX8QM-CPU
• NVIDIA Jetson TX2
• 96Boards HiKey 960
• 樹莓派 4
• QEMU 虛擬機

RISC-V

• QEMU virt (rv64)

下載并設置工具鏈

為目標架構下載最新的編譯工具鏈：

a) 對于 Armv8-A，使用?aarch64-none-elf-工具鏈。

從?Arm 開發人員的網站下載它。

b) 對于 RISC-V，使用?riscv64-unknown-elf-工具鏈。

從?SiFive 的 Freedom Tools?GitHub 倉庫下載它。

安裝工具鏈。然后，使用參考工具鏈前綴路徑設置?CROSS_COMPILE?環境變量：

export CROSS_COMPILE=/path/to/toolchain/install/dir/bin/your-toolchain-prefix-

搭建基礎環境

克隆這個 repo 并 cd 到它：

git clone https://github.com/bao-project/bao-demos
cd bao-demos

根據目標平臺和演示，?使用附錄 I 中的 ID設置?PLATFORM?和?DEMO?環境變量。

export PLATFORM=zcu102
export DEMO=linux+freertos