log on porting rcore to labeled rv64 - oscourse-tsinghua/rcore_plus GitHub Wiki

before 20190219

  • wrj: supported rv64 with sv39 on rcore. tested on QEMU

meeting 20190123 preparing

  • current status of labed rv64 (whz,yzh)
  • current status of rcore (xy, wrj)
  • plan on rcore in next three month (cy)
  • discuss on rcore for labeled rv64 (all)

work plan (20190123~20190127)

  1. 近两日:
  • 将 labeled RISC-V 烧入 ZedBoard
  • 在 ZedBoard 上面跑起来 labeled Linux
  • rcore 增加 Sv39 支持, 在 qemu 上测试
  1. rcore 跑在真板子上
  • labeled RISC-V: 需要进一步修改 rcore
  • sifive
  1. 希望 rcore 能跑 biscuit 跑的应用和 sv6 跑的应用, 相当 benchmark
  • 调研 biscuit / sv6: 跑了什么应用, 应用需要那些 syscall
  • 若需要libc函数, 建立ulibc直接缺什么加什么，将来可考虑 musl-libc (参考sv6, biscuit)