reL4项目目前支持的平台
支持的平台
#
目前支持的平台如下
qemu模拟器下的riscv spike平台
qemu模拟器下的qemu-arm-virt平台