1 files changed, 32 insertions, 4 deletions
diff --git a/sys/tools/kernel-gdb.py b/sys/tools/kernel-gdb.py
index 8a41ef6efab1..990bdaf31fda 100644
--- a/sys/tools/kernel-gdb.py
+++ b/sys/tools/kernel-gdb.py
@@ -4,12 +4,40 @@
 # SPDX-License-Identifier: BSD-2-Clause
 #
 
+import importlib
 import os
 import sys
 
 sys.path.append(os.path.join(os.path.dirname(__file__), "gdb"))
 
-# Import FreeBSD kernel debugging commands and modules below.
-import acttrace
-import pcpu
-import vnet
+modules = [
+    "acttrace",
+    "freebsd",
+    "pcpu",
+    "vnet"
+]
+
+
+def reload_modules(modules):
+    for mod in modules:
+        if mod in sys.modules:
+            importlib.reload(sys.modules[mod])
+        else:
+            importlib.import_module(mod)
+
+reload_modules(modules)
+
+
+class reload(gdb.Command):
+    """
+    Reload the FreeBSD kernel GDB helper scripts.
+    """
+    def __init__(self):
+        super(reload, self).__init__("kgdb-reload", gdb.COMMAND_USER)
+
+    def invoke(self, arg, from_tty):
+        reload_modules(modules)
+
+
+# Register the reload command with gdb.
+reload()