简介
seL4是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。seL4是 L4微内核家族的成员,它为系统中运行的应用之间的隔离提供了最高级别保障,可以遏制系统某一部分的危害,并防止损害系统中其它可能更关键的部分。seL4是世界上第一个通过数学方法被证明安全的操作系... 更多
其它信息
地区
不详
开发语言
C/C++
Python
开源组织
Linux 基金会
所属分类
操作系统
授权协议
GPL
操作系统
未知
收录时间
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