Index: sys/kern/kern_ctf.c =================================================================== --- sys/kern/kern_ctf.c +++ sys/kern/kern_ctf.c @@ -182,10 +182,10 @@ goto out; } - /* Check if version 2. */ - if (cth.cth_version != CTF_VERSION_2) { - printf("%s(%d): module %s CTF format version is %d " - "(2 expected)\n", + if (cth.cth_version != CTF_VERSION_2 && + cth.cth_version != CTF_VERSION_3) { + printf( + "%s(%d): module %s CTF format has unsupported version %d\n" __func__, __LINE__, lf->pathname, cth.cth_version); error = EFTYPE; goto out;