Microzed and Zybo kernel compiling guide
[Zybo kernel tutorial] (03-linux-kernel.zybo.md)
How to get the kernel sources for the Microzedboard
[kernel sources] (01-Get_the_kernel_sources.txt)
How to compile and install the Linux kernel in the MicroZedBoard
[Linux Kernel] (03-linux-kernel.txt)
How to setup and run Debian in the MicroZedboard:
[Setup SD card] (01-setup_SD_card.txt)
Compile and run a Hello world module
[Hello world module tutorial] (10-Hello_world_tutorial.txt)
Prebuild images of the bootloader, linux kernel and the device tree
/prebuildSources files
/src