Aside from building the Linux kernel manually, there is also the possibility of building the ADI Linux kernel with the ADI buildroot repository.
Ideally, you should already be familiar with buildroot, but even if not, the steps in this guide should be pretty straight forward.
The starting point is to clone the ADI buildroot repository
git clone https://github.com/analogdevicesinc/buildroot
First make sure that the GNU toolchain for Microblaze is in the shell path.
And also make sure that the the directory to the Vivado SDK is correct. The current example assumes that it is Vivado 2018.2 and it's installed in /opt/Xilinx/SDK/
If building just the rootfs, go into the cloned buildroot directory
cd <buildroot> make microblaze_adi_rootfs_defconfig make
If building an entire simpleImage that can be ran on a board:
cd <buildroot> make microblaze_adi_defconfig make BR2_LINUX_KERNEL_INTREE_DTS_NAME=kcu105_fmcdaq2
A list of supported images for Microblaze:
They are always present under:
For Microblaze it's simpleImage.<board-name> (example: simpleImage.kcu105_fmcdaq2)