My work on LLDB’s FreeBSDKernel plugin:
https://minsoo.io/future-of-the-freebsd-kernel-lldb-plugin/
The name FreeBSDKernel will be changed to FreeBSD-core, since it only provides functionalities to examine core dumps. Traditional live kernel debugging is done through gdb-remote plugin with FreeBSD’s gdb stub.

Future of the FreeBSD Kernel LLDB Plugin
FreeBSD offers several approaches to kernel debugging: DDB, live kernel debugging, and core dump analysis. DDB is an interactive debugger built directly into the FreeBSD kernel, with syntax inspired by GDB — making it immediately familiar to most developers. Live debugging leverages FreeBSD's GDB stub (defined under sys/gdb); on the
minsoo.io · Minsoo Choo
Link author:
Minsoo Choo
@minsoochoo@bsd.cafe