没有合适的资源?快使用搜索试试~ 我知道了~
沙发:在seL4微内核之上构建的操作系统
共157个文件
c:74个
h:59个
txt:14个
3星 · 超过75%的资源 需积分: 43 9 下载量 134 浏览量
2021-02-04
10:32:09
上传
评论
收藏 215KB ZIP 举报
温馨提示
沙发:在seL4微内核之上构建的操作系统
资源推荐
资源详情
资源评论
收起资源包目录
沙发:在seL4微内核之上构建的操作系统 (157个子文件)
sel4process.c 27KB
Blk.c 18KB
NetService.c 15KB
Process.c 15KB
main.c 15KB
VFSService.c 14KB
X86Expert.c 14KB
loader.c 14KB
main.c 11KB
ext2FS.c 10KB
libc.c 9KB
VFS.c 8KB
Serial.c 7KB
Ext2.c 6KB
files.c 6KB
ProcService.c 5KB
syscalls.c 5KB
net.c 5KB
DKService.c 5KB
fakefs.c 5KB
thread.c 5KB
cpio.c 5KB
devFS.c 5KB
Timer.c 4KB
bga.c 4KB
dk.c 4KB
KThread.c 4KB
IRQServer.c 4KB
PCI.c 4KB
Environ.c 3KB
main.c 3KB
DeviceTree.c 3KB
NameServer.c 3KB
BaseService.c 3KB
utils.c 3KB
Thread.c 3KB
runtime.c 3KB
mmap.c 3KB
read.c 3KB
proc.c 3KB
Net.c 3KB
BGADriver.c 3KB
sleep.c 3KB
Sofa.c 2KB
main.c 2KB
capabilities.c 2KB
ProcessList.c 2KB
main.c 2KB
main.c 2KB
domain_schedule.c 2KB
debug.c 2KB
Reboot.c 2KB
spawn.c 2KB
NameServer.c 2KB
main.c 2KB
DriverBase.c 1KB
wait.c 1KB
exit.c 1KB
IONode.c 1KB
kill.c 1KB
Thread.c 1KB
reboot.c 1KB
IODevice.c 1014B
interface.c 1005B
main.c 923B
Allocator.c 879B
various.c 869B
sleep.c 864B
Panic.c 796B
DeviceKit.c 764B
main.c 728B
IODriver.c 652B
Log.c 648B
main.c 300B
settings.cmake 4KB
easy-settings.cmake 2KB
file 15KB
.gitignore 186B
utlist.h 80KB
sel4process.h 11KB
helpers.h 8KB
ProcessList.h 4KB
Environ.h 3KB
lib-support.h 3KB
Ext2.h 3KB
Sofa.h 3KB
test_init_data.h 3KB
NameServer.h 3KB
VFS.h 3KB
SyscallTable.h 2KB
IONode.h 2KB
IODevice.h 2KB
bga.h 2KB
syscalls.h 2KB
CircBuff.h 2KB
dk.h 2KB
BaseService.h 2KB
KThread.h 1KB
net.h 1KB
proc.h 1KB
共 157 条
- 1
- 2
资源评论
- shc58402021-11-22下载的这个版本无法编译通过,好多错误,建议后续人员可以去 https://github.com/manu88/Sofa 看看
生物医药从业者
- 粉丝: 17
- 资源: 4616
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功