[COMP9242] wk01 - Advanced Operating Systems
Advanced Systems Operating
2023-09-27 14:23:24 时间
Monolithic and Microkernel
一、微内核的特点
Idea of microkernel:
• Flexible, minimal platform
• Mechanisms, not policies
• OS functionality provided by usermode servers
• Servers invoked by kernel-provided messagepassing mechanism (IPC)
• Goes back to Nucleus [Brinch Hansen’70]
二、seL4 FAQ
/* implement */
相关文章
- 使用Advanced Installer制作IIS安装包(二:配置安装包依赖项和自定义dll)
- 2018第一发:记一次【Advanced Installer】打包之旅
- Ubuntu 安装yii2 advanced版 遇到的坑
- [advanced c++] Professional coding 03 - 命令行参数
- [Advanced Python] Call C++ libraries
- 1067. Sort with Swap(0,*) (25)【贪心】——PAT (Advanced Level) Practise
- Advanced Python多线程并发编程架构设计与代码实战
- Advanced Python系列之Iterator、Generator、Yield内幕解密和源码剖析
- jenkins git 之 Advanced clone behaviours
- Advanced Installer将其转换为MSIX
- EMS Advanced Data Export 4.16(Crack)
- eclipse中tomcat-advanced以及插件的使用
- visual gdb Diagnosing IntelliSense problems for Advanced Projects