search

DieterReuter / image-builder-rpi64

Build SD card image for Raspberry Pi 3 64bit
MIT License
156 stars 38 forks source link

change /boot/cmdline.txt for newer kernels #35

Closed neta540 closed 6 years ago

neta540 commented 6 years ago

There seemed to be a problem running newer 4.9.x kernels while kgdboc instruction was set in /boot/cmdline.txt

DieterReuter commented 6 years ago

LGTM. Thanks, that's an awesome improvement to get the newer kernels running!

DieterReuter commented 6 years ago

@neta540 Thanks, this fix works great! I just updated my image builder to the latest Linux Kernel 4.9.65 and also updated the Docker tools. If you like you could also test it, here is the release https://github.com/DieterReuter/image-builder-rpi64/releases/tag/v20171129-192126.