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
