01-Get_the_kernel_sources.txt

Get the Linux kernel sources for the MicroZedboard
    Adrian Remonda 2014


    Get the sources
    ==============

- Brief git tutorial
	http://www.wiki.xilinx.com/Using+Git

- Check for the latest release
    http://www.wiki.xilinx.com/Zynq+Releases
	

- Get the linux kernel sources
	
    1) Fetch sources: 

    ~$ export LINUX_TAG=xilinx-v2016.3
    ~$ wget https://github.com/Xilinx/linux-xlnx/archive/${LINUX_TAG}.tar.gz
    ~$ mkdir -p $LINUX_TAG 
    ~$ tar -zxvf $LINUX_TAG.tar.gz --strip-components=1 -C $LINUX_TAG
    ~$ cd $LINUX_TAG
    
    2) Initilize a git repository to be able to track changes
    
    ~$ git init
    ~$ git add .
    ~$ git commit -m "Linux vanilla"
    ~$ git branch $LINUX_TAG
    ~$ git checkout $LINUX_TAG