Jim Huang

The [xPack GNU RISC-V Embedded GCC](https://xpack.github.io/riscv-none-elf-gcc/) provides pre-built toolchains for GNU/Linux, Microsoft Windows, and macOS. However, the typical file size of a archive file is more than 460MB, which not...

Can we stick to the principles of minimalist regarding the design of system? That is, instead of providing new system call, how about extending the semantics of `poll_event` by checking...

The proposed Dockerfile looks fine. However, I am afraid of the uncertainty of public Docker repository required by CI pipeline. That is, how can we ensure the availability of Docker...

Close because it would not really shorten the time to perform CI.

@liumx10, can you provide any reference materials regarding GC for lock-free operations?

Is it ready to close this issue?

FYI: [RISCVIMC](https://github.com/nadeemasghar55/RISCVIMC) is a fork of `srv32` and implements compressed extension. See its [report](https://github.com/nadeemasghar55/RISCVIMC/blob/main/doc/Project_Report.md).

Don't frequently close/reopen a pull request. Instead, you can force push the commits if you found something wrong.

> * [ ] 3. Implementing the incrementation of CSR_CYCLEH, CSR_TIME and CSR_INSTRT in `rv_step()` You shall provide some test programs which utilize performance counter. Either C with inline assembly...

You shall provide a minimal RISC-V assembly program which examines CSR functionalities.