On Thu, 2 Apr 2026, Tobias Nygren wrote:
I don't think so, however you can absolutely run an aarch64 kernel with an earmv7hf userland. It generally works quite well.
There was some reason why this builder needs a 32-bit kernel, unfortunately.
-- Benny