没有合适的资源？快使用搜索试试~
我知道了~
文库首页
操作系统
OS
seL4操作系统编程.pdf
seL4操作系统编程.pdf
sel4编程手册
中文PDF高清
需积分: 16
10 下载量
9 浏览量
2021-09-10
11:20:31
上传
评论
收藏
1.68MB
PDF
举报
温馨提示
立即下载
seL4的功能介绍，API编程手册说明，非常详细
资源推荐
资源评论
seL4-manual-latest.pdf
浏览：173
微内核白皮书、sel4微内核白皮书、seL4-whitepaper.pdf
seL4操作系统编程__2014_10_171
浏览：127
seL4操作系统编程__2014_10_171
seL4 操作系统编程手册 （中文版）
浏览：101
5星 · 资源好评率100%
国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。
sel-551.pdf
浏览：121
sel-551.pdf继电器特性，过流保护，重合闸......
X-SEL V7.02.09.00
浏览：101
IAI电缸编程软件X-SEL V7.02.09.00
sel4.0.9.pdf
浏览：76
第2.4节 内核内存分配 1.4.4 2.4.1 重用内存 1.4.4.1 2.4.2 对象大小概览 1.4.4.2 第3章 能力空间 第3.1节 能力和能力空间管理 1.5 1.5.1 3.1.1 创建CSpace 1.5.1.1 3.1.2 CNode方法 1.5.1.2 3.1.3 新分配对象的能力...
seL4-manual-3.0.0.pdf
浏览：161
国外原版介绍seL4系统操作手册，非常详细，值得阅读
六年级社会情感学(sel)教学计划.pdf
浏览：59
六年级社会情感学(sel)教学计划.pdf
2015年小学SEL项目校本教材实施计划.pdf
浏览：66
2015年小学SEL项目校本教材实施计划.pdf
sel4.0.8.pdf
浏览：59
seL4内核参考手册中文翻译，主要依据原版本11.0.0（2019年11月20日），对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。在对照源码的基础上力求搬运地清楚准确。
SpireDll （C#操作WORD、PDF文件）
浏览：83
将以下三个文件导入到C#工程项目中，即可使用，亲测有效！ Spire.Doc.dll Spire.License.dll Spire.Pdf.dll
seL4-master.zip
浏览：120
seL4-master.zip
SEL-E/G Programming Manual.pdf
浏览：180
SEL-E/G Programming Manualpdf,SEL-E/G Programming Manual
sel4-tutorial.tar.gz
浏览：164
seL4 Tutorials实验源码
SEL-UMC拟于2017年秋推出超节能半导体.pdf
浏览：10
SEL-UMC拟于2017年秋推出超节能半导体.pdf
学生信息管理系统源码.pdf
浏览：192
466 filemenu.add_command(label="查询",command=sel_stu) 467 468 filemenu.add_separator() 469 filemenu.add_command(label="退出",command=root.destroy) 470 menubar.add_cascade(label="菜单",menu=filemenu) ...
SEL-351使用手册简化版（下载）.pdf
浏览：190
SEL-351使用手册
Unix sel4 微内核源码
浏览：77
seL4是世界上最小的内核之一。但是seL4的性能可以与当今性能最好的微内核相比。 作为微内核，seL4为应用程序提供...seL4是高性能的L4微内核家族的新产物，它具有操作系统所必需的服务，如线程，IPC，虚拟内存，中断等。
操作系统学习与考试系统(XOSCATS)
浏览：110
5星 · 资源好评率100%
XOSCATS(X Operating System Computer Aided Teaching System, XOSCATS)是一款通用操作系统计算机辅助教学系统，简称CATS。CATS是基于Windows环境下操作系统(Operating System，OS)课程学习和考试的辅助工具。①学生通过CATS自主学习操作系统的主要知识点。②学生可以进行无纸考试的自动命题和自动阅卷。
SquareLine-Studio 1.3.0安装包
浏览：100
5星 · 资源好评率100%
官网下载较慢
王道操作系统课件 2024
浏览：191
5星 · 资源好评率100%
王道408 操作系统课件 2024新版ppt课件
C语言规范标准-C99(中文版)
浏览：166
5星 · 资源好评率100%
C99前六章中文完整版，后面的是库和附录没有翻译，可对照英文版阅读。
ELF解析工具 v1.7（elf格式解析工具)
浏览：29
3星 · 编辑精心推荐
支持全部ELF类型解析。支持32位/64位elf文件自适应解析、可解析elf文件头、程序头、节头、字符表、符号表、hash表、版本定义表、版本依赖表、动态信息表等。 更多详细介绍请访问：https://blog.csdn.net/tanming1987/article/details/126445826 可以解析linux及大部分嵌入式的编译输出文件，如gcc、keil mdk、iar、ccs等
计算机组成原理：最详细笔记 word格式下载
浏览：160
https://blog.csdn.net/haojie_duan/article/details/112739522 有很多人私聊我发送上面这篇博文的打印版，自己在考研时使用，现在把它上传到此处，欢迎大家享用
KeepOutlookRunning.7z
浏览：169
支持outlook点击关闭后最小化的windows系统插件，亲测可用
dell r730xd 调速工具
浏览：79
dell r730xd 调速工具
Sim-EKB-Install-2022-11-27.zip
浏览：11
仅供学习 ，支持永久适用TIA Portal v18 2022.11.27 add some info for TIA Portal v18 b59248759b1633c4e8bbbbdb05e4ebe9f38c7ef84fdf73de558bda1d7f3ea645 *Sim_EKB_Install_2022_11_27_Run_as_Admin.exe v2022.09.27 add so
贵州电信天邑TY1613-s905l3-b-rtl8822cs当贝固件刷机教程
浏览：21
贵州电信天邑TY1613_s905l3-b_rtl8822cs当贝固件刷机教程 或者其他省份只要是高安版本盒子均可刷！
22-003-T-九联UNT403A-UNT413A-M401A-M411A-S905L3A处理器线刷固件-当贝桌面纯净版
浏览：22
使用双公头数据线配合晶晨刷机工具，短接主板背面4R12对应的黑色电阻进行短接刷机即可；
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
xiaoholmes
粉丝: 27
资源:
7
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
TexturePacker Importer 6.0.3
PCB载流与线宽对照表
websocket小工具-与ajax一样使用，JavaScript
V到DBm和W换算对照表
Linux的一些配置文件
seg_16
Screenshot_20240426_141524.jpg
Screenshot_20240426_165620.jpg
数据科学与机器学习：混淆矩阵深度解析-精准评估分类模型性能的必备工具
重庆市下属38个区县geojson 用于ECharts大屏
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
