about the kernel dbg symbol

[yushang]

Hi guys,
I'm running FreeBSD 13.2-RELEASE-p4 (AMD64), what is the matching kernel symbol files? Does this one

http://ftp.freebsd.org/pub/FreeBSD/releases/amd64/13.2-RELEASE/kernel-dbg.txz

works? Many thank.