cd kernel/rpi: No such file or directory

android-rpi / device_brcm_rpi3

576 stars 251 forks source link

cd kernel/rpi: No such file or directory #122

Open JustinHoyt opened 5 years ago

JustinHoyt commented 5 years ago

After following the guide here I tried to change directory into kernel/rpi but the rpi directory was not found. Only the test and configs directories are located there. How do I get this rpi directory? It's not clear to me in the READMEs.

turtleletortue commented 5 years ago

Go to .repo/local_manifests and look at the default.xml file in there. Does it have the line project path="kernel/rpi" name="kernel_rpi" revision="arpi-4.19.y" remote="arpi"> in it? @JustinHoyt