如何使用不同版本的linux 内核

大大们好，
    我正在学习zynq-linux-osrc-lab-2019,我看到使用的linux内核是4.14, 对应的linux内核代码的位置在:
/mnt/workspace/osrc-lab-7035/sources/kernel
我有两个问题请教：
1. 如果我想要使用不同版本的linux内核，是不是只要替换掉这个文件夹然后重新编译就行了？
2. 我应该去哪里找其他版本的kernel.tar.gz ？
    谢谢

emmm,看来我要自己去试试啦～～～等我试好了，再来更新....

emmm,我去尝试了一个其他版本的linux内核(4.13.3)......按照教程的步骤全部做了一遍，启动的时候报告了Kenel panic....废了....
大神说，不能随意换，很容易歇菜....
仅在此记录结果。

github有xilinx的官方账号，上面有各个版本的uboot和kernel
https://github.com/Xilinx/linux-xlnx