seL4操作系统内核认领

0粉丝

seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。seL4 是 L4 微内核家族的成员，它为系统中运行的应用

简介

seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。seL4 是世界上第一个通过数学方法被证明安全的操作系... 更多

其它信息

地区

不详

开发语言

C/C++ Python

开源组织

Linux 基金会

所属分类

操作系统

授权协议

GPL

操作系统

未知

收录时间

2023-09-26

软件类型

开源软件

适用人群

未知

时光轴

里程碑1

LOG0

2023

2023-09

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%

推荐

Runtime.JS操作系统内核

Runtime.JS是基于V8这个JavaScript引擎构建的操作系统内核。系统架构：

Runtime.JS操作系统内核

Runtime.JS 是基于 V8 这个 JavaScript 引擎构建的操作系统内核。系统架构：

FiwixUnix操作系统内核

FiwixisanoperatingsystemkernelbasedontheUnixarchitectureandfullyfocusedonbeingLinuxcompatible.Itisde

GNU Mach操作系统内核

Mach是一个由卡内基梅隆大学开发的用于支持操作系统研究的操作系统内核。该项目在1985年启动，并且在1994年因为mach3.0的显著失败而告终。但是mach却是一个真正的微核。mach被开发成了U

KerlaRust 编写的操作系统内核

KerlaRust 编写的操作系统内核

KerlaRust 编写的操作系统内核

Kerla是用Rust编写的操作系统内核，旨在与LinuxABI兼容，也就是说，无需任何修改即可运行Linux二进制文件。实现*NIX进程概念：上下文切换、信号fork(2)、execve(2)、wa

trochili RTOS嵌入式实时操作系统内核

TROCHILIRTOS介绍 TROCHILI是一个全新的适用于嵌入式领域的实时操作系统内核。支持多线程、多优先级、抢占式调度。内核代码大部分由C语言开发，代码结构清晰，可维护性好。TROCHILI取

trochili RTOS嵌入式实时操作系统内核

TROCHILIRTOS 介绍 TROCHILI是一个全新的适用于嵌入式领域的实时操作系统内

ulios微内核多任务分时图形化操作系统

ulios1是黒木的毕业设计课题，它是一个简单的单内核多任务分时图形化操作系统。由于设计的疏漏和时间

ulios微内核多任务分时图形化操作系统

ulios1是黒木的毕业设计课题，它是一个简单的单内核多任务分时图形化操作系统。由于设计的疏漏和时间的限制，已经无法继续一些更高级的开发了。ulios2在ulios1的基础上进行了结构、算法的重大改进