# CONFIG_DRM_TDFX=n is not set