cd kernel/rpi: No such file or directory #122
Description
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.