1board:
2  name: riscv32_virtual
3  full_name: RISCV32 Virtual
4  vendor: renode
5  socs:
6  - name: riscv_virtual_renode
7