pi64-kernel This repository holds Linux kernel releases for https://github.com/bamarni/pi64. To update your kernel you can run sudo pi64-update.