電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件簡介
seL4 是一個安全操作系統(tǒng)內(nèi)核，旨在確保現(xiàn)實世界中關(guān)鍵計算機系統(tǒng)的機密性、安全性和可靠性。
seL4 是?L4 微內(nèi)核家族的成員，它為系統(tǒng)中運行的應(yīng)用之間的隔離提供了最高級別保障，可以遏制系統(tǒng)某一部分的危害，并防止損害系統(tǒng)中其它可能更關(guān)鍵的部分。
?
seL4 是世界上第一個通過數(shù)學方法被證明安全的操作系統(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)指南 73次下載
- 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)存布局介紹 1.5k次閱讀
- 深度解析全球操作系統(tǒng)格局 3.4k次閱讀
- 基于多內(nèi)核的操作系統(tǒng)內(nèi)生安全技術(shù) 2.3k次閱讀
- 詳解實時操作系統(tǒng)和非實時操作系統(tǒng) 6.7k次閱讀
- 基于優(yōu)先級調(diào)度的嵌入式實時操作系統(tǒng)內(nèi)核詳解(下) 1.8k次閱讀
- FreeRTOS：一個迷你的實時操作系統(tǒng)內(nèi)核 1.7k次閱讀
- 操作系統(tǒng)中搶占式和非搶占式內(nèi)核的區(qū)別 2.8k次閱讀
- seL4微內(nèi)核入門-代碼下載運行及資料 5.6k次閱讀
- Linux操作系統(tǒng)修改內(nèi)核參數(shù)的三種方法詳細說明 1.2w次閱讀
- 程序員必須知道的操作系統(tǒng)核心概念詳細說明 4k次閱讀
- 對實時操作系統(tǒng)特性的討論 5.8k次閱讀
- 嵌入式操作系統(tǒng)是什么_嵌入式操作系統(tǒng)有哪些 2.1w次閱讀
- 國產(chǎn)操作系統(tǒng)究竟哪里不行_國產(chǎn)操作系統(tǒng)為何難普及 1.4w次閱讀
- 基于FreeRTOS的嵌入式實時操作系統(tǒng)的原理和實現(xiàn) 7.3k次閱讀
- 概述及匯總ARM的嵌入式操作系統(tǒng) 3.2k次閱讀
上傳資料賺積分下載排行
本周
- 1矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
- 1.12 MB | 5次下載 | 免費
- 2HT81696H 內(nèi)置升壓的30W立體聲D類音頻功放數(shù)據(jù)手冊
- 1.21 MB | 1次下載 | 免費
- 3HTA6863 3W超低噪聲超低功耗單聲道D類音頻功率放大器數(shù)據(jù)手冊
- 0.87 MB | 次下載 | 免費
- 4南芯 Southchip SC8802C 充電控制器 規(guī)格書 Datasheet 佰祥電子
- 88.16 KB | 次下載 | 免費
- 5矽力杰 Silergy SY7065 同步升壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
- 910.67 KB | 次下載 | 免費
- 6矽力杰 Silergy SY7066 同步升壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
- 989.14 KB | 次下載 | 免費
- 7WD6208A產(chǎn)品規(guī)格書
- 631.24 KB | 次下載 | 免費
- 8NB685 26 V，12 A，低靜態(tài)電流，大電流 同步降壓變換器數(shù)據(jù)手冊
- 1.64 MB | 次下載 | 2 積分
本月
- 1EMC PCB設(shè)計總結(jié)
- 0.33 MB | 12次下載 | 免費
- 2PD取電芯片 ECP5702規(guī)格書
- 0.88 MB | 5次下載 | 免費
- 3矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
- 1.12 MB | 5次下載 | 免費
- 4氮化鎵GaN FET/GaN HEMT 功率驅(qū)動電路選型表
- 0.10 MB | 3次下載 | 免費
- 5PD取電芯片，可取5/9/12/15/20V電壓ECP5702數(shù)據(jù)手冊
- 0.88 MB | 3次下載 | 免費
- 6SY50655 用于高輸入電壓應(yīng)用的偽固定頻率SSR反激式穩(wěn)壓器英文資料
- 1.01 MB | 3次下載 | 免費
- 7怎么為半導(dǎo)體測試儀選擇精密放大器
- 0.65 MB | 2次下載 | 免費
- 8SY52341 次級側(cè)同步整流英文手冊
- 0.94 MB | 2次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233095次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191469次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183360次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81606次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73832次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論