電子發燒友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操作系統指南 73次下載
- Linux0.01內核分析與操作系統設計
- 基于NET+50 ARM7的DeltaOS操作系統內核移植
- 嵌入式操作系統的內核研究
- 嵌入式微內核實時操作系統分析與測試
- Linux操作系統 0次下載
- 操作系統的內存布局介紹 1.5k次閱讀
- 深度解析全球操作系統格局 3.4k次閱讀
- 基于多內核的操作系統內生安全技術 2.3k次閱讀
- 詳解實時操作系統和非實時操作系統 6.7k次閱讀
- 基于優先級調度的嵌入式實時操作系統內核詳解(下) 1.8k次閱讀
- FreeRTOS：一個迷你的實時操作系統內核 1.7k次閱讀
- 操作系統中搶占式和非搶占式內核的區別 2.8k次閱讀
- seL4微內核入門-代碼下載運行及資料 5.6k次閱讀
- Linux操作系統修改內核參數的三種方法詳細說明 1.2w次閱讀
- 程序員必須知道的操作系統核心概念詳細說明 4k次閱讀
- 對實時操作系統特性的討論 5.8k次閱讀
- 嵌入式操作系統是什么_嵌入式操作系統有哪些 2.1w次閱讀
- 國產操作系統究竟哪里不行_國產操作系統為何難普及 1.4w次閱讀
- 基于FreeRTOS的嵌入式實時操作系統的原理和實現 7.3k次閱讀
- 概述及匯總ARM的嵌入式操作系統 3.2k次閱讀
上傳資料賺積分下載排行
本周
- 1新一代網絡可視化（NPB 2.0）
- 3.40 MB | 1次下載 | 免費
- 2冷柜-電氣控制系統講解
- 13.68 MB | 1次下載 | 10 積分
- 3MDD品牌三極管MMBT3906數據手冊
- 2.33 MB | 次下載 | 免費
- 4MDD品牌三極管S9012數據手冊
- 2.62 MB | 次下載 | 免費
- 5LAT1218 如何選擇和設置外部晶體適配 BlueNRG-X
- 0.60 MB | 次下載 | 3 積分
- 6LAT1216 Blue NRG-1/2 系列芯片 Flash 操作與 BLE 事件的互斥處理
- 0.89 MB | 次下載 | 3 積分
- 7收音環繞擴音機 AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 8MS1000TA 超聲波測量模擬前端芯片技術手冊
- 0.60 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負載均流控制電路數據手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4UWB653Pro USB口測距通信定位模塊規格書
- 838.47 KB | 5次下載 | 免費
- 5蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 6蘇泊爾DCL6909(即CHK-S009)單芯片電磁爐原理圖資料
- 0.08 MB | 2次下載 | 1 積分
- 7100W準諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
- 8FS8025B USB的PD和OC快充協議電壓誘騙控制器IC技術手冊
- 1.81 MB | 1次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網監
評論