Use 3rd party RISC-V test farm from RVI/ISCAS

Recently there has been a posting on one of the RISC-V mailing list about a RISC-V hardware test becoming available (see https://lists.riscv.org/g/software/message/175):

Just a quick response to the message[1]. The RVI and ISCAS (Institute of Software Chinese Academy of Sciences)[2] are building the first RISC-V Lab for the RISC-V community. We are going to provide ssh access to almost all RISC-V development boards that we can acquire. The PLCT Lab (part of ISCAS) has managed to get ≥110 Unmatched boards in the last year, and we are ordering an extra one hundred Unmatched boards on the way. We were planning to put ~500 HiFive Unmatched boards in the (first) RISC-V Lab[3]. Although the cancellation of further builds of Unmatched boards may cut the total capacity of Unmatched down to ~200, We're still optimistic that we can serve all the communities which need to run CI on Unmatched. Besides, the RISC-V Lab is also providing hundreds of Nezha D1 boards and QEMU VMs with more than 2k vcores. Currently the RISC-V Lab is under beta testing and has already served 10+ open source communities. If you are porting open source projects for RISC-V, or want to try CI/CD on RISC-V platform, feel free send a PR with your GitHub ID to [4].

-- Best wishes, Wei Wu (吴伟)

[1] https://forums.sifive.com/t/sifive-update-on-hifive-unmatched-boards-in-2022/5569 [2] RVI is the abbreviation of RISC-V International. ISCAS is a premier member of RVI. [3] The definition of RISC-V Lab is still under development. [4] https://github.com/plctlab/riscv-lab-access

I've been in contact with Wei if there are plans for bare metal access also, and he said this is on the roadmap for 2022, but may happen only later this year. So let's see if we can make this work.

seL4 / ci-actions

Use 3rd party RISC-V test farm from RVI/ISCAS #180