-
Marico Xu authored
"pl111_drm" should be used as the drm device driver name instead of "pl111" Change-Id: I8dc740a7b68c7bb69a2a4a585d85cca2a88753e6
a9a2edf4
"pl111_drm" should be used as the drm device driver name instead of "pl111" Change-Id: I8dc740a7b68c7bb69a2a4a585d85cca2a88753e6