沙发：在seL4微内核之上构建的操作系统
3星 · 超过75%的资源 需积分: 43 71 浏览量
2021-02-04
10:32:09
上传
评论
收藏 215KB ZIP 举报 
沙发：在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 看看
