Initial workspace launcher

2026-04-25 13:30:01 +02:00
commit 4d3f7c954d
5 changed files with 462 additions and 0 deletions
--- a/workspace.json
+++ b/workspace.json
@@ -0,0 +1,19 @@
+{
+  "version": 1,
+  "workspace_root": "~/dev/workspace/rv",
+  "series_root": "~/dev/workspace/rv/series",
+  "socket_root": "~/dev/workspace/rv/sockets",
+  "tools_root_candidates": [
+    "~/dev/workspace/tools/rv32i-hazard3-env",
+    "~/dev/workspace/rv/tools/rv32i-hazard3-env"
+  ],
+  "defaults": {
+    "series": "inf",
+    "card": "03",
+    "step": "step1",
+    "editor": "nvim",
+    "instance": "shell",
+    "tmux_session": "rv-workspace",
+    "tmux_window": "rv"
+  }
+}