简介
seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。seL4 是世界上第一个通过数学方法被证明安全的操作系... 更多
其它信息
授权协议
GPL
开发语言
C/C++
Python
操作系统
未知
软件类型
开源软件
所属分类
操作系统
开源组织
Linux 基金会
地区
不详
适用人群
未知
收录时间
2023-09-26
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
FiwixUnix操作系统内核
FiwixisanoperatingsystemkernelbasedontheUnixarchitectureandfullyfocusedonbeingLinuxcompatible.Itisde
FiwixUnix操作系统内核
0
GNU Mach操作系统内核
Mach是一个由卡内基梅隆大学开发的用于支持操作系统研究的操作系统内核。该项目在1985年启动，并且在1994年因为mach3.0的显著失败而告终。但是mach却是一个真正的微核。mach被开发成了U
GNU Mach操作系统内核
0
KerlaRust 编写的操作系统内核
Kerla是用Rust编写的操作系统内核，旨在与LinuxABI兼容，也就是说，无需任何修改即可运行Linux二进制文件。实现*NIX进程概念：上下文切换、信号fork(2)、execve(2)、wa
KerlaRust 编写的操作系统内核
0
trochili RTOS嵌入式实时操作系统内核
TROCHILIRTOS介绍 TROCHILI是一个全新的适用于嵌入式领域的实时操作系统内核。支持多线程、多优先级、抢占式调度。内核代码大部分由C语言开发，代码结构清晰，可维护性好。TROCHILI取
trochili RTOS嵌入式实时操作系统内核
0
ulios微内核多任务分时图形化操作系统
ulios1是黒木的毕业设计课题，它是一个简单的单内核多任务分时图形化操作系统。由于设计的疏漏和时间的限制，已经无法继续一些更高级的开发了。ulios2在ulios1的基础上进行了结构、算法的重大改进
ulios微内核多任务分时图形化操作系统
0
webOS基于 Linux 内核的智能电视操作系统
PalmWebOS是新一代操作系统，通过网络客户端使其拥有前所未有的扩展能力。PalmWebOS平台由前苹果公司高管乔恩·鲁宾斯坦（JonRubenstein）领衔开发，而PalmPre是首款采用We
webOS基于 Linux 内核的智能电视操作系统
0