title: repo init -u https://android.googlesource.com/kernel/manifest failed
body: <p>I want to get the android kernel code, I follow <a href="https://source.android.com/setup/build/building-kernels" rel="nofollow noreferrer">https://source.android.com/setup/build/building-kernels</a>, and mkdir kernel_aosp, my phone is pixel,so I use the </p>
  
  <p><code>repo init -u https://android.googlesource.com/kernel/manifest -b android-msm-marlin-3.18-pie-qpr2</code></p>
  
  <p>but it failed, the error is </p>
  
  <blockquote>
    <p>fatal: manifest 'default.xml' not available</p>
    
    <p>fatal: manifest default.xml not found</p>
  </blockquote>
  
  <p>please help me, thank you</p>