Hi thomas.lavocat@pulse-origin.com,
You need to download the Documents for Linux 4.19.35. You can download the documents from this link. I have also attached herewith.
In this document, you will find the "i.MX_Yocto_Project_User's_Guide.pdf". Please follow the steps given in this document for the setup of i.MX8M Mini EVK.
After completing the setup [ bitbake <component> (e.g. bitbake core-image-minimal) is the last command for the setup ], you can find the kernel source in the below-mentioned path.
- {build_directory}/tmp/work/imx8mmevk-poky-linux/linux-imx/4.19.35-r0/git
And Device Tree source in {build_directory}/tmp/work/imx8mmevk-poky-linux/linux-imx/4.19.35-r0/git/arch/arm64/boot/dts/freescale path.
Hope this will help you.
Regards,
Shivani