电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
软件简介
seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。
seL4 是世界上第一个通过数学方法被证明安全的操作系统内核，并且是世界上最快、最先进的 OS 微内核。它对于嵌入式计算系统的安全可信赖方面将会有极大意义，具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。
理论上，SeL4 可以用作 Linux 和其它类 Unix 操作系统的底层基础，甚至此前曾被考虑用于 GNU/Linux “真内核” GNU Hurd。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- Windows CE.net操作系统的内核定制
- seL4内核参考⼿册中⽂翻译版 0次下载
- 安全关键的嵌入式实时操作系统内核 5次下载
- 为什么，操作系统内核都是用C语言写的？资料下载
- 如何实现一个微内核操作系统的设计 28次下载
- 操作系统内核中高效保护应用程序的方法 0次下载
- 嵌入式实时操作系统MQX内核研究 7次下载
- 嵌入式操作系统几种操作系统内核的主要部分分析比较 0次下载
- RTX实时操作系统内核演示 9次下载
- VxWorks操作系统指南 72次下载
- Linux0.01内核分析与操作系统设计
- 基于NET+50 ARM7的DeltaOS操作系统内核移植
- 嵌入式操作系统的内核研究
- 嵌入式微内核实时操作系统分析与测试
- Linux操作系统 0次下载
- 操作系统的内存布局介绍 152次阅读
- 深度解析全球操作系统格局 674次阅读
- 基于多内核的操作系统内生安全技术 507次阅读
- 详解实时操作系统和非实时操作系统 3518次阅读
- 基于优先级调度的嵌入式实时操作系统内核详解(下) 754次阅读
- FreeRTOS：一个迷你的实时操作系统内核 828次阅读
- 操作系统中抢占式和非抢占式内核的区别 1323次阅读
- seL4微内核入门-代码下载运行及资料 3469次阅读
- Linux操作系统修改内核参数的三种方法详细说明 1w次阅读
- 程序员必须知道的操作系统核心概念详细说明 3213次阅读
- 米尔科技嵌入式实时操作系统介绍 2181次阅读
- 对实时操作系统特性的讨论 5039次阅读
- 嵌入式操作系统是什么_嵌入式操作系统有哪些 2w次阅读
- 基于FreeRTOS的嵌入式实时操作系统的原理和实现 6562次阅读
- 概述及汇总ARM的嵌入式操作系统 2951次阅读
上传资料赚积分下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图（支持平板，盒子VR）
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论