Moving on to the Yocto Project, we have recipes available for every kernel version available inside the BSP support for each supported board, and recipes for kernel modules that are built outside the Linux kernel source tree.
The Atmel SAMA5D3-Xplained board uses the
linux-yocto-custom kernel. This is defined inside the
conf/machine/sama5d3-xplained.conf machine configuration file using the
PREFERRED_PROVIDER_virtual/kernel variable. No
PREFERRED_VERSION is mentioned, so the latest version is preferred; in this case, we are talking about the
linux-yocto-custom_3.10.bb recipe fetches the kernel sources available inside Linux Torvalds'
git repository. After a quick look at the sources ...