資料介紹
軟件簡介
seL4 是一個安全操作系統內核,旨在確?,F實世界中關鍵計算機系統的機密性、安全性和可靠性。
seL4 是?L4 微內核家族的成員,它為系統中運行的應用之間的隔離提供了最高級別保障,可以遏制系統某一部分的危害,并防止損害系統中其它可能更關鍵的部分。
?
seL4 是世界上第一個通過數學方法被證明安全的操作系統內核,并且是世界上最快、最先進的 OS 微內核。它對于嵌入式計算系統的安全可信賴方面將會有極大意義,具體來看可能影響到航空電子、自動駕駛汽車、醫療設備、關鍵基礎設施與國防等行業。
理論上,SeL4 可以用作 Linux 和其它類 Unix 操作系統的底層基礎,甚至此前曾被考慮用于 GNU/Linux “真內核” GNU Hurd。?
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- seL4內核參考?冊中?翻譯版 0次下載
- 轉載:DIY:給單片機寫個實時操作系統內核! 1次下載
- 機器人操作系統EtherCAT技術研究綜述 1次下載
- 三寶機器人軟件操作系統v2.20.33.100下載 3次下載
- 安全關鍵的嵌入式實時操作系統內核 5次下載
- 為什么,操作系統內核都是用C語言寫的?資料下載 4次下載
- 如何實現一個微內核操作系統的設計 28次下載
- 操作系統內核中高效保護應用程序的方法 0次下載
- 嵌入式實時操作系統MQX內核研究 7次下載
- RTX實時操作系統內核演示 9次下載
- Linux0.01內核分析與操作系統設計 63次下載
- 基于NET+50 ARM7的DeltaOS操作系統內核移植 13次下載
- 一個安全嵌入式操作系統內核設計與實現 11次下載
- 嵌入式操作系統的內核研究 22次下載
- 嵌入式微內核實時操作系統分析與測試 15次下載
- 深度解析全球操作系統格局 199次閱讀
- 基于多內核的操作系統內生安全技術 219次閱讀
- 詳解實時操作系統和非實時操作系統 1127次閱讀
- 基于優先級調度的嵌入式實時操作系統內核詳解(下) 478次閱讀
- 國產操作系統之中科方德桌面系統安裝 3804次閱讀
- FreeRTOS:一個迷你的實時操作系統內核 479次閱讀
- 操作系統中搶占式和非搶占式內核的區別 660次閱讀
- 一個用rust制造的新的現代操作系統Aero 1252次閱讀
- seL4微內核入門-代碼下載運行及資料 2546次閱讀
- Linux操作系統修改內核參數的三種方法詳細說明 1w次閱讀
- 米爾科技嵌入式實時操作系統介紹 1986次閱讀
- 對實時操作系統特性的討論 4762次閱讀
- 嵌入式操作系統是什么_嵌入式操作系統有哪些 1.9w次閱讀
- 如何設計一個小型嵌入式操作系統 8994次閱讀
- 如何安裝實時操作系統RTOS 5868次閱讀
下載排行
本周
- 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次下載 | 免費
評論
查看更多