OdroidXU3

seL4的编译和运行(OdroidXU3)

seL4支持平台seL4所在的git如下：https://github.com/seL4/seL4.git不过我们编译和运行seL4一般不只是用这个git，而是借助seL4test（seL4的测试框架）：https://github.com/seL4/sel4test.gitseL4提供了各种平台上的配置文件，也提供了用于测试seL4的app。seL4指定了可以运行的平台，按照下面的匹配来编译它（
刘秋杉·2020-09-16 20:39
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他