seL4 操作系统编程手册 (中文版)

Name: seL4 操作系统编程手册 (中文版)
Rating: 4.5 (427 reviews)
Author: qqstreen

上传者：qqstreen 2019-07-28 04:18:04上传 PDF文件 3.55MB 热度 427次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-07-28 04:18:04

还不错，推荐呢

seL4操作系统编程手册中文版

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

大小：0B | 2019-07-28 04:18:04
seL4用户手册

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

大小：0B | 2019-06-05 04:00:45
seL4系统论文

大小：0B | 2019-01-21 19:06:36
seL4源代码

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

大小：2.06MB | 2024-05-02 22:04:07
sel4源码解析一–sel4内核对象

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

大小：55KB | 2021-01-15 16:37:48
沙发在seL4微内核之上构建的操作系统源码

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

大小：215KB | 2021-02-06 22:19:00
POSIX操作系统编程指南中文版

POSIX操作系统编程指南中文版，关于Linux下编程的介绍。

大小：0B | 2019-07-15 05:43:15
sel4用户文档

大小：0B | 2019-01-21 19:06:36
POSIX操作系统编程指南中文版.pdf

在网上下载的前面是中文的后面有一段是英文的

大小：0B | 2020-05-17 00:31:35
Unix sel4微内核源码

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

大小：0B | 2018-12-28 10:58:53
sel4源码解析四–ipc

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

大小：38KB | 2021-01-16 18:25:05
UNIX操作系统编程

基于UNIX操作系统的编程课件~ 解答UNIX编程的困难，UNIX操作系统编程的基础教程~

大小：0B | 2018-12-29 05:10:06
Windows操作系统编程

关于window编程的一本金典数据，希望对大家有用，比较高清吧

大小：0B | 2019-09-20 07:50:04
操作系统编程环境

大学必教内容,windows程序开发感谢母校长沙书籍分享者fgbtzz的博客 http://bl...

大小：19.16MB | 2020-12-07 20:43:25
操作系统编程图

编程图,真是脑髓了.

大小：142KB | 2020-11-20 15:21:59
linux操作系统编程

大小：0B | 2019-01-08 11:06:44