What is the veracity of binary compatibility of Kernel Drivers on FreeBSD?

From: Nimbly2329 <hjlftdygaqf_at_use.startmail.com>
Date: Fri, 05 Jul 2024 18:01:59 UTC
I remember having read in the book The Design and Implementation of the
FreeBSDĀ® Operating System Second Edition by Marshall Kirk McKusick, George V.
Neville-Neil, and Robert N.M. Watson, that FreeBSD has the ability of using
drivers compilers for previous versions of FreeBSD by an stable ABI. (Which
also kind of implies forward compatibility of drivers)  

  

My question is this true?  

And if true. where is the documentation of such ABI?  

And I can statically link to the kernel one of this portable kernels?  

  

Regards, Nimbly2329