Zyc: 

(1) mdtest 放到arceos

(2) 测一下arceos的其它的文件系统

(3) 自己的文件系统实现statefs。


Ysp:

继续看一下Theseus

Theseus: an Experiment in Operating System Structure and State Management

https://www.usenix.org/conference/osdi20/presentation/boos#:~:text=Theseus%20is%20the%20result%20of%20multi-year%20experimentation%20to,many%20OS%20responsibilities%20as%20possible%20to%20the%20compiler.



yjg:

libc的启动代码。(env要初始化)

内存分配器的问题。x86下面的问题。换个内存分配器试试。

统一代码。

配置qemu,开通arm下的redis服务。


Wlp:

继续看。


lhw:

sd卡的驱动。(问贾越凯要一下,参考一下)

arceos要先看起来。(树莓pi自己的驱动。)



Wlp:

Arm gicv3 google那边有一个实现,就没必要重复做了。


1. 起草virtio1.3中断控制器的标准,中断控制器接口抽象

2. 中断处理的framework。上半段,下半段怎么怎么设计,怎么处理(参考Linux,Redox?)

3. Virtio前端的完整,高效实现,包括virtio-blk, virtio-net, 多队列等等。

4. virtio rust驱动程序应用到ArceOS。

5. virtio-blk, virtio-net性能优化


lh:

准备期末考试。


lhw:

没有接触过rust。准备多少时间学完?xv6。