沙发:在seL4微内核之上构建的操作系统源码

Name: 沙发:在seL4微内核之上构建的操作系统 源码
Rating: 4.5 (49 reviews)
Author: legislate3345

上传者：legislate3345 2021-02-06 22:19:00上传 ZIP文件 214.8KB 热度 49次

沙发:在seL4微内核之上构建的操作系统

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

沙发在seL4微内核之上构建的操作系统源码

沙发:在seL4微内核之上构建的操作系统

大小：215KB | 2021-02-06 22:19:00
Unix sel4微内核源码

seL4是世界上最小的内核之一。但是seL4的性能可以与当今性能最好的微内核相比。作为微内核，se...

大小：0B | 2018-12-28 10:58:53
sel4源码解析一–sel4内核对象

文章目录sel4内核对象untypeduntyped cap结构体创建内核对象TCB相关阅读 sel...

大小：55KB | 2021-01-15 16:37:48
seL4操作系统编程手册中文版

国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。

大小：0B | 2019-07-28 04:18:04
seL4系统论文

大小：0B | 2019-01-21 19:06:36
seL4_tools构建seL4项目的基本工具源码

seL4_tools 提供用于构建seL4项目的工具。还收集用于样式检查的通用配置和工具。 :加载...

大小：249KB | 2021-05-11 11:43:33
seL4源代码

为嵌入式系统和微内核开发的可靠实时操作系统内核。

大小：2.06MB | 2024-05-02 22:04:07
sel4源码解析四–ipc

sel4提供了基于endpoints实现的进程间通信,用于进程之间发送少量的信息和cap。 ipc相...

大小：38KB | 2021-01-16 18:25:05
sel4用户文档

大小：0B | 2019-01-21 19:06:36
FreeNOS微内核操作系统

FreeNOS微内核操作系统，大名鼎鼎，好好学习必然会受益匪浅的。

大小：0B | 2019-05-16 14:41:01
seL4用户手册

seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性

大小：0B | 2019-06-05 04:00:45
seL4Emu Docs Linux OS上的seL4仿真层源码

seL4-Emu-Docs Linux OS上的seL4仿真层此仓库将包含有关该项目的所有文档。 ...

大小：406KB | 2021-05-08 23:57:10
resea基于微内核的可入侵操作系统源码

返航 Resea [ríːseə]是从头开始编写的基于微内核的操作系统。它旨在提供引人入胜的开发人...

大小：350KB | 2021-02-05 21:16:04
FreeNOS_0.0.4微内核操作系统源码

现在做的比较有研究价值的unix操作系统，目前谷歌也在做一款平台通用的unix微核操作系统，大家也可...

大小：0B | 2019-07-10 02:28:50
QNX– 微内核结构的实时操作系统

微内核,qnx,vxworksQNX–微内核结构的实时操作系统

大小：0B | 2020-03-03 10:37:55
微内核操作系统综述microkernel os survey

1980-2000年间，microkernel操作系统被广泛研究，目的是解决macrokernel的...

大小：0B | 2019-09-14 10:33:39

沙发:在seL4微内核之上构建的操作系统 源码

沙发:在seL4微内核之上构建的操作系统源码