Hi Vincent, On 2023-03-20 01:36, Vincent Stehlé wrote: > I think the Debian kernel is missing only a few configuration options in > debian/config/arm64/config to run on that board. Merge request opened: https://salsa.debian.org/kernel-team/linux/-/merge_requests/712 Emanuele