socs:
  - name: riscv_virtual_renode