doom/.config/doom/config.el

@@ -107,9 +107,7 @@
 (add-to-list 'exec-path "~/.local/bin")
 (setenv "PATH" (concat (getenv "PATH") ":/home/" (user-login-name) "/.local/bin"))
 
-;; --- Verilog / SystemVerilog ---
 (after! verilog-mode
-  ;; Indentation
   (setq verilog-indent-level             4
         verilog-indent-level-module      4
         verilog-indent-level-declaration 4
@@ -118,30 +116,11 @@
         verilog-cexp-indent              4
         verilog-auto-newline             nil)
 
-  ;; verilog-ext: enhanced SystemVerilog support (tree-sitter, navigation, highlighting)
-  (when (featurep 'verilog-ext)
-    (verilog-ext-mode-setup))
+  (setq lsp-clients-verilog-ls-server 'verible-verilog-ls)
 
-  ;; flycheck-verilator: custom checker for Verilator linting
-  (when (featurep 'flycheck)
-    (flycheck-define-checker verilog-verilator
-      "A Verilog/SystemVerilog syntax checker using Verilator."
-      :command ("verilator" "--lint-only" "-Wall" "-Wno-DECLFILENAME"
-                "--language" "1800-2017" source-original)
-      :error-patterns
-      ((error line-start "%Error" (optional "-" (one-or-more (any alpha ?_)))
-              ": " (file-name) ":" line ":" column ": " (message) line-end)
-       (warning line-start "%Warning" (optional "-" (one-or-more (any alpha ?_)))
-                ": " (file-name) ":" line ":" column ": " (message) line-end))
-      :modes (verilog-mode verilog-ts-mode))
-    (add-to-list 'flycheck-checkers 'verilog-verilator t))
-
-  ;; Verilator compile command for quick syntax/lint checks (M-x compile)
-  (setq compile-command "verilator --lint-only -Wall --language 1800-2017 "))
-
-;; Global: 4 spaces, no tabs
+;; Ensure all buffers use 4 spaces and no literal tabs
 (setq-default tab-width 4
-              indent-tabs-mode nil)
+              indent-tabs-mode nil))
 
 ;; --- Chisel / Scala ---
 (after! scala-mode
@@ -153,9 +132,10 @@
   (setq lsp-metals-server-args '("-J-Dmetals.http=on-Dmetals.at-least-java-21=true")
         lsp-metals-enable-http t))
 
-;; Verible LSP: Eglot picks it up automatically from PATH.
-;; The default Doom Eglot config registers verible-verilog-ls for verilog-mode.
-;; No extra config needed — just ensure verible-verilog-ls is on PATH.
+(after! lsp-verilog
+  (setq lsp-verilog-server 'verible-ls)
+  ;; Optional: specify the path if it's not in your standard PATH
+  (setq lsp-clients-verible-ls-executable "/usr/local/bin/verible-verilog-ls"))
 
 (map! :leader
       (:prefix ("o" . "open")

doom/.config/doom/init.el

@@ -108,7 +108,7 @@ hl-todo           ; highlight TODO/FIXME/NOTE/DEPRECATED/HACK/REVIEW
         pdf               ; pdf enhancements
         ;;terraform         ; infrastructure as code
 ;;tmux              ; an API for interacting with tmux
-        (tree-sitter +python +rust +c +cc +zig +verilog)
+        (tree-sitter +python +rust +c +cc +verilog)
         ;;upload            ; map local to remote projects via ssh/ftp
 
        :os
@@ -180,7 +180,7 @@ hl-todo           ; highlight TODO/FIXME/NOTE/DEPRECATED/HACK/REVIEW
        ;;terra             ; Earth and Moon in alignment for performance.
        ;;web               ; the tubes
        ;;yaml              ; JSON, but readable
-       (zig +lsp +tree-sitter)   ; C, but simpler
+       zig               ; C, but simpler
        (verilog +lsp)
 
        :email

doom/.config/doom/packages.el

@@ -52,7 +52,3 @@
 ;; (unpin! pinned-package another-pinned-package)
 ;; ...Or *all* packages (NOT RECOMMENDED; will likely break things)
 ;; (unpin! t)
-
-
-;; --- Verilog / SystemVerilog ---
-(package! verilog-ext)

opencode/.config/opencode-team/opencode.jsonc

@@ -2,14 +2,6 @@
   "$schema": "https://opencode.ai/config.json",
   "model": "deepseek-v4-pro",
   "autoupdate": true,
-
-  "mcp": {
-    "riscv-udb": {
-      "type": "local",
-      "command": ["riscv-udb-mcp"],
-      "enabled": true
-    }
-  },
   
   // Activating the full team layer ONLY inside this profile directory
   "plugin": [
@@ -31,13 +23,6 @@
       "**/build/**": "deny",
       "*": "allow"
     },
-    "bash": "allow",
-    "lsp" : "allow"
-  },
-  "lsp": {
-    "clangd": {
-      "command": ["clangd", "--background-index", "--clang-tidy"],
-      "extensions": [".c", ".cpp", ".cc", ".cxx", ".h", ".hpp"]
-    }
+    "bash": "allow"
   }
 }

opencode/.config/opencode-team/tui.json

@@ -1,5 +0,0 @@
-{
-  "plugin": [
-    "oh-my-openagent"
-  ]
-}

opencode/.config/opencode/opencode.jsonc

@@ -2,14 +2,6 @@
   "$schema": "https://opencode.ai/config.json",
   "autoupdate": true,
 
-  "mcp": {
-    "riscv-udb": {
-      "type": "local",
-      "command": ["riscv-udb-mcp"],
-      "enabled": true
-    }
-  },
-
   "plugin": [],
 
   "permission": {
@@ -26,13 +18,6 @@
       "**/build/**": "deny",
       "*": "allow"
     },
-    "bash": "allow",
-    "lsp" : "allow"
-  },
-  "lsp" : {
-	  "clangd": {
-	      "command": ["clangd", "--background-index", "--clang-tidy"],
-	      "extensions": [".c", ".cpp", ".cc", ".cxx", ".h", ".hpp"]
-	  }
+    "bash": "allow"
   }
 }