seL4 构建和测试
来源:互联网 发布:流程优化的必要性 编辑:程序博客网 时间:2024/05/20 19:15
转载至:https://source2014.hackpad.com/seL4--IJItb9IDncR
取得核心程式碼
KZM-ARM11-01
... <testcase classname="sel4test" name="TEST_IPC0001">INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000445e4INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0004d000-->00165df8 <system-out> TEST_IPC0001</system-out>... <testcase classname="sel4test" name="TEST_CNODEOP00012">INFO :sel4utils_elf_load_record_regions:276: * Loading segment 00008000-->000445e4INFO :sel4utils_elf_load_record_regions:276: * Loading segment 0004d000-->00165df8 <system-out> TEST_CNODEOP0001</system-out> </testcase></testsuite>126/126 tests passed.All is well in the universe.
這時候可以準備執行 pkill qemu-system-arm
seL4 Tests
seL4 Verification
- Automated theorem proving! 確保可用的記憶體 > 2 GB
ML_PLATFORM="x86_64-linux"ML_HOME="/home/jserv/.isabelle/contrib/polyml-5.5.1-1/x86_64-linux"ML_SYSTEM="polyml-5.5.1"ML_OPTIONS="-H 2000"Session Pure/PureSession HOL/HOL (main)Session HOL/HOL-Word (main)Building Pure ...Finished Pure (1:36:49 elapsed time, 0:00:51 cpu time, factor 0.00)Building HOL ...HOL: theory Code_GeneratorHOL: theory HOLHOL: theory SATz
- 執行證明 (相當慢)
- ./run_tests
Issues
0 0
- seL4 构建和测试
- seL4的编译和运行(OdroidXU3)
- 构建和测试AngularJS
- seL4开发环境:CentOS 和 Fedora上的工具链
- seL4 内核服务、对象以及基本能力访问和控制
- 每日构建和冒烟测试
- 每日构建和冒烟测试
- 构建、测试和部署驱动程序
- seL4 FAQ
- seL4 下载
- 用Ant和JUnit构建自动化测试
- 构建和测试一个Wince应用程序
- Spring Boot 构建 Restful API 和测试
- 使用Maven构建和测试Java项目
- seL4 调试指南
- 开源微内核seL4
- seL4系统调用
- seL4 参考手册目录
- php连接Mysql的增删改查操作
- Oracle数据泵远程导入文件到本地数据库
- Android:Bundle类
- RelativeLayout
- 用devstack部署openstack的相关注意事项
- seL4 构建和测试
- C/C++程序从编译到最终生成可执行文件的过程分析
- Brackets插件集合
- plist 文件的读写操作
- CF D. Beautiful numbers (数位dp)
- 代码截屏
- [AppArmor-GUI]六、策略编辑的情况
- 我在CSN的第一扁博客
- 编译CSipSimple问题总结