没有合适的资源?快使用搜索试试~
我知道了~
文库首页
操作系统
其它
sel4 用户 文档
sel4 用户 文档
sel4
sel4文档,
需积分: 10
11 下载量
127 浏览量
2016-12-28
10:51:43
上传
评论
收藏
508KB
PDF
举报
温馨提示
立即下载
sel4的文档,欢迎下载.
资源推荐
资源评论
seL4用户手册
浏览:43
seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性
seL4-manual-latest.pdf
浏览:171
seL4 官方手册,详细具体,几乎概括了所有的seL4特性和特点,可以说想要了解seL4,这是一本必备的手上资料
sel4.0.8.pdf
浏览:157
seL4内核参考手册中文翻译,主要依据原版本11.0.0(2019年11月20日),对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。在对照源码的基础上力求搬运地清楚准确。
seL4 操作系统编程手册 (中文版)
浏览:91
5星 · 资源好评率100%
国内知名大学的sel4文档手册,相当值得借鉴,中文版。带书签。
seL4系统论文
浏览:167
本文描述了seL4实时系能的基本测试。文中详细分析了中断响应时间、进程间切换的测试。
seL4:seL4微内核
浏览:68
seL4微内核 该项目包含seL4微内核的源代码。 有关seL4微内核的详细信息,包括其形式正确性证明的详细信息,请访问网站和相关的 。 引用此存储库的最新版本的DOI: 我们欢迎对seL4的贡献。 请访问该网站以获取有关。 通常不会孤立地使用此存储库,而是将其作为较大项目中构建系统的一部分。 seL4基础 社区 邮件列表 seL4宣布 seL4开发 建议项目 社区项目 手动的 您可以在
sel4源码解析(一) – sel4内核对象
浏览:86
文章目录sel4内核对象untypeduntyped cap结构体创建内核对象TCB相关阅读 sel4是微内核,它只提供了少数供用户程序使用的机制。不像linux内核提供了大量的服务。本文主要介绍sel4提供的七个内核对象,着重讲述了untyped这一内核对象。 sel4内核对象 Sel4提供了七个内核对象,这七个内核对象构成了一个进程基本运行环境。它们分别是: CNodes:CNodes本质是一
Unix sel4 微内核源码
浏览:87
seL4是世界上最小的内核之一。但是seL4的性能可以与当今性能最好的微内核相比。 作为微内核,seL4为应用程序提供少量的服务,如创建和管理虚拟内存地址空间的抽象,线程和进程间通信IPC。这么少的服务靠8700行C代码搞定。seL4是高性能的L4微内核家族的新产物,它具有操作系统所必需的服务,如线程,IPC,虚拟内存,中断等。
Hi3559AV100.rar
浏览:46
5星 · 资源好评率100%
本文档提供Hi3559AV100ES 芯片的硬件设计方法. 1.1 小系统外部电路要求 1.1.1 Clocking 电路 通过芯片内部的反馈电路与外部的 24MHz 晶体振荡电路一起构成系统时钟电路. 推荐晶振连接方式及器件参数如图 1-1 所示. ...
JWT 生成Token实战验证.pdf
浏览:99
简洁( compact):可以通过URL,POST参数或者在 Http header发送,因为数据量小,传输速度也很快自包含(Sel|f- contained)负载中包含了所有用户所需要的信息,避免了多次查询数据库,此文档为实战
wtpy是基于wondertrader为底层的针对python的子框架+源代码+文档说明
浏览:15
> - SelContext.py 主要定义了`SEL`策略的上下文,可以理解为单策略的运行环境 > - ExtToolDefs.py 扩展模块定义文件,主要定义了一些扩展模块的基础接口 > - ProductMgr.py 品种管理器,主要用于`Python`环境中...
ATM-repo:Atm项目存储库
浏览:142
开始创建代码文档。 项目准备好包含纹理,声音等。 调整 Main , StateManager , Window类已移至其他程序包。 为了防止意外尝试创建此类的对象,将XMLTools类更改为abstract类。 在OP_SEL状态下,标签已移到左侧。...
tv-browser:[javascript,ajax,api] http
浏览:105
该文档列出了TV Maze开发团队提供的各种端点。 确定哪些端点对您的电视节目搜索应用程序最有用。 尝试单击每个端点的URL示例,以查看该端点的JSON数据的结构。 每个API端点可能具有不同结构的JSON响应。 测试API的...
IDL帮助(中文).doc
浏览:116
5星 · 资源好评率100%
在图形用户界面中包装ImageBar 211 第十章 编写简单的组件程序 212 本章概述 212 组件程序的结构 212 组件程序如何对事件作出反应 213 编写组件定义模块 213 定义和创建程序组件 214 在屏幕上实现组件 216 使绘图...
SAP屠夫作品汇总
浏览:182
4星 · 用户满意度95%
会计凭证(Document) 如何限制不同财务用户使用不同的财务凭证类型 22 Field status和Coding block subscreen 30 Validation凭证的确认 35 Substitution凭证的退代 40 3 几个相关函数FI_VALIDATION_DOC|FI_VALIDATION...
javascript入门笔记
浏览:25
4、1997年 网景 将Javascript 1.1 提供给了ECMA(欧洲计算机制造商联合会),ECMA 获取了 JS 的核心,称之为 ECMA Script (ES) 完整的JS组成: 1、核心(ES) 2、文档对象模型(Document Object Model) - DOM 允许让 ...
PT80-NEAT开发指南v1.1
浏览:105
5星 · 资源好评率100%
NEAT 开 发 指南 文档 适用于 PT80 系列 移动数据终端 版本记录 版本号 版本描述 发布日期 V 1.0 初始版本。 2012-04-12 V1.1 修改前三章内容 2012-09-25 目录 第一章 关于本手册.....................................
VC6使用word2003生成报表的示例
浏览:197
5星 · 资源好评率100%
摘要:当用户需要对报表需要重新编辑的时候,用Excel或者Word生成报表就会比XML或者HTML的方式更加合理。但是由于Word的组件在使用时候要导入很多类,如果直接加在工程中会使其看上去很乱,所以封装到DLL中是个不错...
js使用小技巧
浏览:72
window.moveTo(-4,-4)"> 无关闭按钮IE window.open("aa.htm", "meizz", "fullscreen=7"); 统一编码/解码 alert(decodeURIComponent(encodeURIComponent("http://你好.com?as= hehe"))) encodeURIComponent对":...
计算机组成原理 白中英 第六版 课后习题答案
浏览:49
5星 · 资源好评率100%
里面是计组的答案,大学生看了都说好
小米妙享3.3.0.652免认证安装
浏览:130
5星 · 资源好评率100%
小米妙享免认证安装
2023-飞机免费社工机器人最新合集
浏览:100
5星 · 资源好评率100%
2023-飞机免费社工机器人最新合集
DirectX修复工具V4.0增强版
浏览:41
5星 · 资源好评率100%
DirectX修复工具(DirectX Repair)是一款系统级工具软件,简便易用。本程序为绿色版,无需安装,可直接运行。 本程序的主要功能是检测当前系统的DirectX状态,如果发现异常则进行修复。程序主要针对0xc000007b问题设计,可以完美修复该问题。本程序中包含了最新版的DirectX redist(Jun2010),并且全部DX文件都有Microsoft的数字签名
王道408 计算机组成原理课件 2024新版ppt课件
浏览:88
5星 · 资源好评率100%
王道408 计算机组成原理课件 2024新版ppt课件
STEP7-MicroWIN-SMART-V2.8安装包
浏览:195
STEP7-MicroWIN-SMART-V2.8安装包
玩客云刷机功能包(全套资料) 真·包教包会!!! 玩客云刷机软件+玩客云刷机固件+固件刷写软件+openwrt固件+手把手教学
浏览:52
5星 · 资源好评率100%
玩客云刷机软件+玩客云刷机固件+固件刷写软件+openwrt固件+手把手教学视频+注意事项 openwrt固件包含特殊功能、QOS功能以及去除广告功能 适用于新旧两个版本的玩客云,都有手把手教学,一定祝你刷机成功!!
诺威达K2201刷机包,10.0版本,解决蓝牙不连接,放音乐一会就断
浏览:191
4星 · 用户满意度95%
诺威达K2201刷机包,10.0版本,解决蓝牙不连接,放音乐一会就断 刷机有风险,不会不要弄
Fiddler下载,版本:5.0.20211.51073,2023年1月亲测win11可用
浏览:156
网络抓包工具,可用于下载钉钉直播回放。具体使用方法见作者文章。
AMD笔记本bios解锁工具UniversalAMDFormBrowser
浏览:116
UniversalAMDFormBrowser:AMD平台高级bios设置工具,可以解锁BIOS修改BIOS内隐藏选项,实现amd笔记本超频、降压、修改时序等各类操作。需要解压放在FAT32的U盘下并关闭安全启动(Secure Boot设置disable,华硕机器设置Secure Boot control=disable)后,引导该U盘启动。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
yu.sang
粉丝: 11
资源:
11
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
企业网站改版方案.doc
传统企业如何应对互联网时代(职场经验).doc
光纤内脉冲信号传输仿真(包含matlab程序).doc
全国2013年1月自学考试软件开发工具试题.doc
BC26-NB模块发送传感器数据.zip
BC26-串口1-RS485传感器透传.zip
全国cad大赛试题.doc
全国计算机等级考试二级C语言笔试试题及答案(4-选择题).doc
医用多远统计学-logistic回归.pdf
大一linux常用命令大全笔记
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功