我想获取android内核代码，我遵循https://source.android.com/setup/build/building-kernels和mkdir kernel_aosp，我的手机是像素，所以我使用
repo init -u https://android.googlesource.com/kernel/manifest -b android-msm-marlin-3.18-pie-qpr2
但是失败了，错误是
致命：清单'default.xml'不可用
致命：找不到清单default.xml
请帮助我，谢谢