Thiago Manel said:
It was not easy to find the kernel.img file. We had to mount other device to access it
This course will become read-only in the near future. Tell us at community.p2pu.org if that is a problem.
This is the bootstrap lesson. We will be able to to enable the 'OK' LED on the Raspberry Pi board near the RCA and USB ports. To do so, we need to modify and compile the OS image.
It was not easy to find the kernel.img file. We had to mount other device to access it