Hi.
First, I would like to notify I am lack of linux and English...
Anyway, What I want to know is if the linux on Github linux-digilent is same as my linux on SD card included in zedboard or not.
Linux version that I checked is Linux version 3.3.0-digilent-12.07-zed-beta.
And, I want to know how to modify and recompile linux kernel.