问题：需要获取的是kernel.src的值，实际获取的到的是kata-micro-kernel.src。 测试结果
git checkout master
git pull https://gitee.com/oech/oec-hardware.git master
git push origin master
