git checkout rel_microkernel
git pull https://gitee.com/jinliangli/AliOS-Things.git rel_microkernel4
git push origin rel_microkernel
