Plans

• 2021春季学期计划

Some Plans

• 是在一个IoT设备(如手表)上实现zcore
• 是在linux启动后host由zcore based hypervisor接手，linux运行到guest态
• 扩展目前我们写的zcore，实现zircon的全部syscall，支持fuchsia应用和驱动（绝大部分在用户态）
• 扩展目前我们写的zcore，实现一个日志文件系统， 一个网络协议栈和对应的block/nic驱动，支持150个左右的linux syscall，支持类似redis, nginx类似的典型linux应用
• 把async机制实现在zcore kernel内部，实现高效的IO处理能力
• 在risc-v cpu上，用rust重新实现类似uefi（c写的）opensbi（c写的）的rustsbi，以及对应的OS，发挥riscv的优势
• 用形式化的方法分析我们写的rust-based hypervisor的接口是否安全可靠（safety）