【教材】《STM32MP完全开发手册v5.1》提供的linux源码sdk地址不对,这里提供的是imx6ull的,请给我一下正确的地址

源码见:https://github.com/STMicroelectronics/linux.git

# 进入 01_all_series_quickstart 工程目录
# 使用 git 切换到 4.0 版本
git checkout 81f13ecdf8375e3d81876217dbf952b79b51da59

# 在文件「嵌入式Linux应用开发完全手册V4.0_韦东山全系列视频文档-STM32MP157开发板.docx」中的 第三篇,第三章,3.4 章节有说明;
# 将 docx 文件拷贝出来即可;

# 使用 git 切换到最新版本
git checkout master