In case someone's interested in kernel DTrace support, starting with 11.0~svn259528-1 DTrace-related build options (including CTF debug information) have been enabled. I think it should at least be possible to use DTrace userland from a FreeBSD chroot to debug the kernel. I haven't checked (nor have time to check) though. -- Robert Millan