MicroZed and Zybo Kernel

Microzed and Zybo kernel compiling guide

Zybo kernel tutorial

[Zybo kernel tutorial] (03-linux-kernel.zybo.md)

MicroZed Linux kernel

Get Kernel sources

How to get the kernel sources for the Microzedboard

[kernel sources] (01-Get_the_kernel_sources.txt)

Compile kernel

How to compile and install the Linux kernel in the MicroZedBoard

[Linux Kernel] (03-linux-kernel.txt)

Setup Debian

How to setup and run Debian in the MicroZedboard:

[Setup SD card] (01-setup_SD_card.txt)

Hello world module

Compile and run a Hello world module

[Hello world module tutorial] (10-Hello_world_tutorial.txt)

Sources and binaries

Prebuild images of the bootloader, linux kernel and the device tree

/prebuild

Sources files

/src