前言
就组件化内核ArceOS来说，它是用于构建各种类型的操作系统的组件仓库。自然也能够支持微内核操作系统的构建，但是第三阶段中有unikernel、有monolithic-kernel、有Hyperisor，唯独没有微内核，有点遗憾。
本篇记录我对基于ArceOS构建微内核操作系统的方法的思考和实践。
需要的组件
硬件抽象层
底层硬件平台从支持aarch64开始。
- arm_pl031
- arm_gicv2
内核态
支持基本的特权操作。
- axstd
- axalloc
- paging
- axtask
- axsync
用户态
用户态主要支持块设备、网络和文件系统等。
- syscall
- axmm
- axvcpu
- vfs
- blk_drv
- fat32