Where can I obtain the ARM FreeBSD kernel?

I'm looking for a way to get the FreeBSD kernel for ARM CPU's. I want to learn more about the BSD kernel. And I think learning how to extract/download the kernel is a good step forward.

Well if you want to see one then download an SD Card image for Arm from the website.
Uncompress and Mount the image and navigate to /boot/kernel/kernel

I really don't see what good a compiled kernel does for learning.

Have you looked at the kernconf's in source?

Here are the fdt files:
Note that on FreeBSD the kernel and OS are a complete set. Contrary to Linux for example, where the kernel is a single, separate, entity.
If I wanted to build my own BSD where would I get the kernel, so I could start building my own Operating System.
Sorry, I figured this'd be a good example of what I'm trying to do.