# Disable LIMA in favour of Mali
# CONFIG_DRM_LIMA is not set