(In reply to Nicolas Patricio Saenz Julienne from comment #3) > Obviously, all this works with Raspberry Pi OS, but they use their own > tailor made downstream kernels. We can use that, as we have a single kernel > image for all arm64 devices. You mean we should take the Raspian kernel and build it in OBS?