seL4支撑平台
seL4所在的git以下：
https://github.com/seL4/seL4.githttps://github.com/seL4/s
阅读背景：
seL4的编译和运行(OdroidXU3)
来源：互联网
分享到：
