seL4指定了可以运行的平台，依照下面的匹配来编译它。
| ARCH | PLAT | ARMV |
|---|
阅读背景：
seL4的编译和运行
来源：互联网
分享到：
