Re: git: 8a25a04058a8 - main - xilinx pci: Codasip Prime board support

From: Jessica Clarke <jrtc27_at_freebsd.org>
Date: Mon, 27 Oct 2025 20:46:53 UTC 
On 27 Oct 2025, at 19:57, Ruslan Bukin <br@freebsd.org> wrote:
> 
> The branch main has been updated by br:
> 
> URL: https://cgit.FreeBSD.org/src/commit/?id=8a25a04058a81453108e7e6accbf6663c19e9117
> 
> commit 8a25a04058a81453108e7e6accbf6663c19e9117
> Author:     Ruslan Bukin <br@FreeBSD.org>
> AuthorDate: 2025-10-27 19:41:53 +0000
> Commit:     Ruslan Bukin <br@FreeBSD.org>
> CommitDate: 2025-10-27 19:53:38 +0000
> 
>    xilinx pci: Codasip Prime board support
> 
>    - Add a compatible string;
>    - Fix build.
> 
>    Tested on Codasip X730 64-bit RISC-V CHERI Application CPU using
>    onboard nvme(4) device.

Is there a reason this has never been added to an in-tree (nor even
downstream in CheriBSD) kernel config? I was quite surprised to see
that it isn’t enabled for riscv’s GENERIC (nor even the GFE config
downstream, which is for the platform for which this driver was
originally written), and therefore it’s bitrotted.

Jessica