Re: [PATCH v13 6/6] arm64: defconfig: enable Verisilicon IOMMU for Rockchip RK3588

[Krzysztof Kozlowski]

On 16/02/2026 10:51, Benjamin Gaignard wrote:
> Enable Verisilicon IOMMU used by Rockchip RK3588 AV1 hardware codec.
> This hardware block could be found in Radxa Rock 5B board.

I could not find such board. I even git grepped for some variants... It
seems you are adding it earlier to a known DTSI, so it will reach some
board, so the point is to use here REAL name of the board we do support.

> 
> Signed-off-by: Benjamin Gaignard <benjamin.gaignard@xxxxxxxxxxxxx>
> ---
Best regards,
Krzysztof