没有合适的资源？快使用搜索试试~
我知道了~
文库首页
操作系统
其它
seL4用户手册
seL4用户手册
操作系统
虚拟化
需积分: 24
26 下载量
200 浏览量
2018-10-02
16:31:18
上传
评论
1
收藏
651KB
PDF
举报
温馨提示
立即下载
seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性
资源推荐
资源评论
sel4 用户 文档
浏览：109
sel4的文档,欢迎下载.
seL4 操作系统编程手册 （中文版）
浏览：95
5星 · 资源好评率100%
国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。
seL4-manual-latest.pdf
浏览：102
seL4 官方手册，详细具体，几乎概括了所有的seL4特性和特点，可以说想要了解seL4，这是一本必备的手上资料
seL4:seL4微内核
浏览：177
seL4微内核 该项目包含seL4微内核的源代码。 有关seL4微内核的详细信息，包括其形式正确性证明的详细信息，请访问网站和相关的 。 引用此存储库的最新版本的DOI： 我们欢迎对seL4的贡献。 请访问该网站以获取有关。 通常不会孤立地使用此存储库，而是将其作为较大项目中构建系统的一部分。 seL4基础 社区 邮件列表 seL4宣布 seL4开发 建议项目 社区项目 手动的 您可以在
sel4.0.8.pdf
浏览：39
seL4内核参考手册中文翻译，主要依据原版本11.0.0（2019年11月20日），对截止当前(2020年4月7日)的内核树少量变动也作了同步更新。在对照源码的基础上力求搬运地清楚准确。
sel4源码解析（一） – sel4内核对象
浏览：176
文章目录sel4内核对象untypeduntyped cap结构体创建内核对象TCB相关阅读 sel4是微内核，它只提供了少数供用户程序使用的机制。不像linux内核提供了大量的服务。本文主要介绍sel4提供的七个内核对象，着重讲述了untyped这一内核对象。 sel4内核对象 Sel4提供了七个内核对象，这七个内核对象构成了一个进程基本运行环境。它们分别是： CNodes：CNodes本质是一
Unix sel4 微内核源码
浏览：8
seL4是世界上最小的内核之一。但是seL4的性能可以与当今性能最好的微内核相比。 作为微内核，seL4为应用程序提供少量的服务，如创建和管理虚拟内存地址空间的抽象，线程和进程间通信IPC。这么少的服务靠8700行C代码搞定。seL4是高性能的L4微内核家族的新产物，它具有操作系统所必需的服务，如线程，IPC，虚拟内存，中断等。
sel4源码解析（四） – ipc
浏览：44
sel4提供了基于endpoints实现的进程间通信，用于进程之间发送少量的信息和cap。 ipc相关数据结构 ipc是通过内核endpoints实现的，相应的有endpoints的结构体和endpoints cap的结构体。endpoints类似notification都有一个队列保存着当前挂载的队列，但endpoints同notification不同，notification是用来发送通知，并
sel4-riscv:sel4-riscv端口
浏览：120
sel4-riscv sel4-riscv端口 重要的！ 此回购协议是seL4微内核的旧版本/过时版本。 请改用[1]。 要构建一个完整的seL4系统，请查看本文[2]，并在此处使用相关的回购协议[3]。 如有任何问题，请随时与我联系！ [1] [2] [3]
seL4系统论文
浏览：67
本文描述了seL4实时系能的基本测试。文中详细分析了中断响应时间、进程间切换的测试。
seL4-manual-3.0.0.pdf
浏览：137
国外原版介绍seL4系统操作手册，非常详细，值得阅读
seL4操作系统编程.pdf
浏览：97
seL4的功能介绍，API编程手册说明，非常详细
seL4-master.zip
浏览：38
seL4-master.zip
l4v:seL4规格和证明
浏览：10
这是L4.verified git存储库，其中包含针对seL4微内核的正式规范和证明。 该存储库中的大多数证明都是在交互式证明助手。 有关Isabelle的介绍，请参见其和。 设置 这个仓库是为了作为一个谷歌的部分的设置。 而不是直接克隆它，而是按照的说明进行操作。 依存关系 有关软件依赖性和Isabelle设置，请参阅docs目录中的文件。 贡献 欢迎对该存储库做出贡献。 有关详细信息，请阅读
嵌入式系统/ARM技术中的利用微内核架构的嵌入式系统虚拟化技术
浏览：118
在计算领域，虚拟化是一个广义的术语，通常是指对于计算资源的一种抽象。通过虚拟化，可使计算资源复杂的实际物理特性对于应用程序或终端用户加以隐藏[1]。这种过程既可以让单一的物理资源(如一台服务器，一个存储设备或一个操作系统)表现为多个可用的虚拟资源，也可以让多个物理资源(如多台服务器或多个存储设备)表现为单一的可用虚拟资源[2]，甚至可以将多个物理资源加以整合并分化出多个可用的虚拟资源。
rustwall:用于seL4的Rust防火墙
浏览：68
锈墙 seL4的网络防火墙，用Rust编写。 防火墙本身就是要替换。 Rustwall用途（currenlt的修改版本） 作为其网络栈。
seL4操作系统编程__2014_10_171
浏览：119
seL4操作系统编程__2014_10_171
seL4Doom:经典DOOM，经过修改可在微内核seL4上运行
浏览：88
seL4Doom DOOM摇摇欲坠，seL4也是如此！ 该项目的目标是使PC游戏DOOM在seL4微内核上运行。 执照 seL4Doom是在GPL版本2下发布的。有关版权和许可信息，请参阅COPYING文件。 制作说明 A）规范制作说明 按照此处安装repo和所有必备软件。 安装其他先决条件： grub-mkrescue引导加载程序（我们使用工具grub-mkrescue ） xorris
seL4Tron:蛇式游戏Tron的seL4应用
浏览：186
＃seL4Tron seL4Tron是蛇形游戏Tron的简单版本，专门设计用于在seL4微内核顶部运行，作为主要任务。 我之所以创建seL4Tron是因为我想学习seL4，并在此过程中玩得开心。 它包括以下功能： 图形模式 PS2键盘输入（libplatsupport） 文件抽象（libcpio） 计时器中断（libplatsupport） #License版权所有（c）2015，Jos
沙发：在seL4微内核之上构建的操作系统
浏览：25
3星 · 编辑精心推荐
沙发：在seL4微内核之上构建的操作系统
rust-sel4:锈seL4绑定
浏览：124
锈sel4 与Rust接口。 此板条箱提供了与libsel4相同的接口，并减少了一些C-ism。
seL4-Emu-Docs:Linux OS上的seL4仿真层
浏览：154
seL4-Emu-Docs Linux OS上的seL4仿真层 此仓库将包含有关该项目的所有文档。 文件包括参考资料，进度报告和论文陈述等：D
seL4_tools:构建seL4项目的基本工具
浏览：92
seL4_tools 提供用于构建seL4项目的工具。 还收集用于样式检查的通用配置和工具。 ：加载arm内核。 ：大多数构建系统。 ：其他各种工具，包括代码样式检查。 贡献 欢迎捐款！ 有关更多信息，请参见文件。
capdl:seL4的功能分配语言工具
浏览：2
能力分配语言 生成，解析和加载系统capdl规范的工具集合： capDL-tool-一种辅助使用capDL文本规范的工具 python-capdl-tool-一个提供CapDL支持的Python模块 capdl-loader-app-seL4的capDL初始化程序
计算机组成原理 白中英 第六版 课后习题答案
浏览：36
5星 · 资源好评率100%
里面是计组的答案，大学生看了都说好
小米妙享3.3.0.652免认证安装
浏览：184
5星 · 资源好评率100%
小米妙享免认证安装
2023-飞机免费社工机器人最新合集
浏览：112
5星 · 资源好评率100%
2023-飞机免费社工机器人最新合集
DirectX修复工具V4.0增强版
浏览：149
5星 · 资源好评率100%
DirectX修复工具(DirectX Repair)是一款系统级工具软件，简便易用。本程序为绿色版，无需安装，可直接运行。 本程序的主要功能是检测当前系统的DirectX状态，如果发现异常则进行修复。程序主要针对0xc000007b问题设计，可以完美修复该问题。本程序中包含了最新版的DirectX redist(Jun2010)，并且全部DX文件都有Microsoft的数字签名
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
ZDiself
粉丝: 9
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
3333333333334444444444444
Python实现根据轴承的振动数据信息来诊断轴承故障的位置和故障严重等级源代码+训练好的模型+数据
MP4文件，我服，还资源名称不得少于十一个字
NHIS视力和眼睛健康监测数据集 CSV 7W+记录
JAVA实验项目.docx
硬盘架构原理及其算法&RAID工作原理&写惩罚
python解决旅行商(TSP)问题.zip
大数据实践赛-计算机设计大赛（开发文档 + 答辩PPT）
基于布谷鸟算法优化BP神经网络分类预测，CS-BP四分类预测，布谷鸟算法优化BP神经网络多分类预测（代码完整，数据齐全）
YOLOv5s、YOLOv5m权重文件
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
