電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件簡介
seL4 是一個安全操作系統(tǒng)內(nèi)核，旨在確?，F(xiàn)實世界中關(guān)鍵計算機系統(tǒng)的機密性、安全性和可靠性。
seL4 是?L4 微內(nèi)核家族的成員，它為系統(tǒng)中運行的應(yīng)用之間的隔離提供了最高級別保障，可以遏制系統(tǒng)某一部分的危害，并防止損害系統(tǒng)中其它可能更關(guān)鍵的部分。
?
seL4 是世界上第一個通過數(shù)學(xué)方法被證明安全的操作系統(tǒng)內(nèi)核，并且是世界上最快、最先進的 OS 微內(nèi)核。它對于嵌入式計算系統(tǒng)的安全可信賴方面將會有極大意義，具體來看可能影響到航空電子、自動駕駛汽車、醫(yī)療設(shè)備、關(guān)鍵基礎(chǔ)設(shè)施與國防等行業(yè)。
理論上，SeL4 可以用作 Linux 和其它類 Unix 操作系統(tǒng)的底層基礎(chǔ)，甚至此前曾被考慮用于 GNU/Linux “真內(nèi)核” GNU Hurd。?
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- Windows CE.net操作系統(tǒng)的內(nèi)核定制
- seL4內(nèi)核參考?冊中?翻譯版 0次下載
- 安全關(guān)鍵的嵌入式實時操作系統(tǒng)內(nèi)核 5次下載
- 為什么，操作系統(tǒng)內(nèi)核都是用C語言寫的？資料下載
- 如何實現(xiàn)一個微內(nèi)核操作系統(tǒng)的設(shè)計 28次下載
- 操作系統(tǒng)內(nèi)核中高效保護應(yīng)用程序的方法 0次下載
- 嵌入式實時操作系統(tǒng)MQX內(nèi)核研究 7次下載
- 嵌入式操作系統(tǒng)幾種操作系統(tǒng)內(nèi)核的主要部分分析比較 0次下載
- RTX實時操作系統(tǒng)內(nèi)核演示 9次下載
- VxWorks操作系統(tǒng)指南 72次下載
- Linux0.01內(nèi)核分析與操作系統(tǒng)設(shè)計
- 基于NET+50 ARM7的DeltaOS操作系統(tǒng)內(nèi)核移植
- 嵌入式操作系統(tǒng)的內(nèi)核研究
- 嵌入式微內(nèi)核實時操作系統(tǒng)分析與測試
- Linux操作系統(tǒng) 0次下載
- 操作系統(tǒng)的內(nèi)存布局介紹 152次閱讀
- 深度解析全球操作系統(tǒng)格局 674次閱讀
- 基于多內(nèi)核的操作系統(tǒng)內(nèi)生安全技術(shù) 507次閱讀
- 詳解實時操作系統(tǒng)和非實時操作系統(tǒng) 3518次閱讀
- 基于優(yōu)先級調(diào)度的嵌入式實時操作系統(tǒng)內(nèi)核詳解(下) 754次閱讀
- FreeRTOS：一個迷你的實時操作系統(tǒng)內(nèi)核 828次閱讀
- 操作系統(tǒng)中搶占式和非搶占式內(nèi)核的區(qū)別 1323次閱讀
- seL4微內(nèi)核入門-代碼下載運行及資料 3469次閱讀
- Linux操作系統(tǒng)修改內(nèi)核參數(shù)的三種方法詳細說明 1w次閱讀
- 程序員必須知道的操作系統(tǒng)核心概念詳細說明 3213次閱讀
- 米爾科技嵌入式實時操作系統(tǒng)介紹 2181次閱讀
- 對實時操作系統(tǒng)特性的討論 5039次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2w次閱讀
- 基于FreeRTOS的嵌入式實時操作系統(tǒng)的原理和實現(xiàn) 6562次閱讀
- 概述及匯總ARM的嵌入式操作系統(tǒng) 2951次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風(fēng)口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發(fā)指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應(yīng)用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關(guān)電源設(shè)計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅(qū)動電路設(shè)計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 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十天學(xué)會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網(wǎng)監(jiān)
評論