Plans

Small Goals (2021.08 开源操作系统夏令营第二阶段)

• 增加基于github CI/CD的zircon core test on baremetal x86-64自动测试环境
• 增加基于github CI/CD的zircon core test on baremetal riscv-64自动测试环境
• 增加基于github CI/CD的linux libc test on baremetal riscv-64自动测试环境
• linux musl libc test中没有通过的测试用例在baremetal x86-64上测试通过
• 在zCore中增加对浮点应用的支持

2021春季学期计划

Little Plans（2020提出）

• (完成70%) 是在linux启动后host由zcore based hypervisor接手，linux运行到guest态
• (完成70%) 扩展目前我们写的zcore，实现zircon的全部syscall，支持fuchsia应用和驱动（绝大部分在用户态）
• (完成90%) 扩展目前我们写的zcore，实现一个日志文件系统，
• (完成80%) 一个网络协议栈(smoltcp)\
• (完成100%) 对应的block驱动（virtio）
• (完成100%) 一个nic驱动(e1000)
• (完成30%) 支持150个左右的linux syscall
• (完成30%) 支持类似redis, nginx类似的典型linux应用
• （完成90%）把async机制实现在zcore kernel内部，实现高效的IO处理能力
• （完成100%） 在x86-64上，用rust重新实现类似uefi （rboot bootloader）
• （完成100%） 在riscv-64上，用rust重新实现类似opensbi ( rustsbi)
• （完成60%）在zcore上写应用，控制四足机器狗
• （完成20%）用形式化的方法分析我们写的rust-based hypervisor的接口是否安全可靠（safety）
• （完成10%）是在一个IoT设备(如手表)上实现zcore