Integrate rvctl with rv32i and host debug profiles

2026-05-01 22:23:08 +02:00
parent 339d7d6872
commit 2204f82268
5 changed files with 505 additions and 106 deletions
@@ -8,8 +8,11 @@
  "series_root": "~/dev/workspace/rv/series",
  "socket_root": "~/dev/workspace/rv/sockets",
  "token_file": "~/dev/workspace/rv/tokens/tokens.json",
+  "env_tool_url": "http://77.90.8.171:3001/edu-inf/rv32i-hazard3-student-env.git",
  "tools_root_candidates": [
+    "~/dev/workspace/rv/tools/rv32i-hazard3-student-env",
    "~/dev/workspace/rv/tools/rv32i-hazard3-env",
+    "~/dev/edu/repos/rv/rv32i-hazard3-student-env",
    "~/dev/edu/repos/rv/rv32i-hazard3-env"
  ],
  "git": {