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

[Benjamin Gaignard]

Le 16/02/2026 à 16:16, Krzysztof Kozlowski a écrit :
> 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.

Any rk3558 based board have this hardware block
and arch/arm64/boot/dts/rockchip/rk3588-rock-5b.dts describes Radxa Rock 5B board.

But maybe I miss understood your point ?

Regards,
Benjamin

>
>> Signed-off-by: Benjamin Gaignard <benjamin.gaignard at collabora.com>
>> ---
> Best regards,
> Krzysztof
>