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.

After correcting this to Radxa ROCK 5B, as written in DTS and bindings:

Reviewed-by: Krzysztof Kozlowski <krzysztof.kozlowski@xxxxxxxxxxxxxxxx>

Best regards,
Krzysztof