- 博客(3)
- 收藏
- 关注
RSS订阅原创 seL4的编译和运行(OdroidXU3)
seL4支持平台seL4所在的git如下： https://github.com/seL4/seL4.git不过我们编译和运行seL4一般不只是用这个git，而是借助seL4test（seL4的测试框架）： https://github.com/seL4/sel4test.gitseL4提供了各种平台上的配置文件，也提供了用于测试seL4的app。seL4指定了可以运行的平台，按照下面的匹配来编
2015-07-22 16:03:14
7884
7
转载 酷炫：6个有趣的Linux命令
酷炫：6个有趣的Linux命令 转自 http://www.cricode.com/3388.html1. pv 命令有时候我们在电影屏幕上看到一些字幕一个个匀速显示出来，像有人在边敲键盘，边显示一样。Linux上的pv命令可以实现这种效果。 默认情况下，Linux是没有pv命令的，需要自行安装。 首先安装命令：# yum install pv [On RedHat ba
2015-07-16 16:07:55
4016
原创 开源微内核seL4
越大的系统潜在的bug就越多，所以微内核在减少bug方面很有优势，seL4是世界上最小的内核之一。 如今，安全越来越成为一个新兴嵌入式设备的关键要素，如智能手机。
2015-07-10 11:15:56
14147
cleanwipe14.2.5323.2000.rar
2020-08-24
Survey of Docker Service
2015-11-12
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人