实验小项目招新：微内核架构的arceos

[chyyuu]

网址：https://github.com/jhdjames37/arceos
开发日志：https://github.com/jhdjames37/arceos/tree/log/log
尝试做微内核架构的arceos
如有兴趣一起来探索，请联系我 yuchen AT tsinghua.edu.cn OR 微信 id chyyuu

[yfblock]

微内核参考资料：

1. HinaOS https://github.com/nuta/microkernel-book
2. 参考 HinaOS 使用模块化编写的 Rust OS: https://github.com/yfblock/ByteOS-MicroKernel
3. rel4 https://github.com/rel4team/rel4_kernel
4. redox micro kernel https://gitlab.redox-os.org/redox-os/kernel
5. minix3 https://github.com/Stichting-MINIX-Research-Foundation/minix

[yfblock]

基于 sel4 微内核支持 Linux App——编译 musl libc for aarch64

git clone https://github.com/richfelker/musl-cross-make.git
make TARGET=aarch64-linux-musl -j$(nproc)

如何将 linux app 的 syscall 转发为 ipc call,
第一种可能：直接去修改对应的 libc 函数，可能修改的地方比较多，但是可以提高性能
第二种可能：将 sycall 转发为 fn call, 通过一个统一的入口，然后进行判断和转发，类似于宏内核的 syscall 层。

[yfblock]

2024-5-31 会议纪要：微内核讨论，支持 linux apps

实施人员：杨金博，朱懿、李龙昊
目标：基于 sel4 的接口实现、支持 LinuxAPPS。
时间：最长时间 一年
例会：周四下午2:00
分析：写代码注释文档

构建一个仓库。kern-crates 建立一个仓库。

短期目标，复现 rel4、尝试将 rel4 的模块进行拆分，拆分的模块放在 kern-crates 里。
后续讨论纪放在 disscussions 里面。

[ZhiQiu-ovO]

2024-5-31 会议纪要：reL4 模块化现状讲解、模块化微内核实现方法分析
参会人员：杨金博、朱懿、李龙昊、胡志文
reL4代码结构：
sel4_common: config定义
sel4_cspace：capability space的实现，以及对cte的操作。
sel4_vspace：对地址空间的封装
sel4_task： tcb定义、调度模块
sel4_ipc：同步endpoint、异步notification 状态转移操作。
src：内核代码
src/boot：启动时，地址空间初始化、用户空间初始化、root_server初始化，root_server是第一个用户态程序。
src/syscall：用户态以句柄来传递，然后在内核态区分具体是什么操作IPC还是其他（如mmap）。
目标：中期目标：先按照L4Linux的做法，将 reL4当作 Hypervisor来用，资源回收部分进行修改。最终目标：把系统调用改为用 reL4的 IPC。
时间：两个月至半年
当下任务：代码注释