Re: regarding build speed on riscv64

On Mon, Aug 31, 2026 at 4:55 PM Aurelien Jarno <[email protected]> wrote:
 ...

In parallel, we continue to follow upstream kernel support for the K3,
> with the hope we can get everything in 7.4. Currently the PCI controller
> [2] and the thermal management chip [3] are missing, and a few smaller
> fixes that will likely go through the stable trees anyway. The bad news
> is that it 7.4 is currently scheduled for January [4], so 7.3 will be
> the LTS version that will go into Forky. This means we'll need to work
> with the kernel team to backport the corresponding patches into 7.3.
>
>
Would it be possible for Debian to procure and distribute 10 to 20 K3
boards to interested DDs?

Having hardware available to individual maintainers for local testing and
debugging would certainly help unblock and strengthen the riscv64 port.

Best
-Dominique