This error is hard to reproduce, it can be caused by file system error at boot; with this change, the drm will reprovision the device when the file system error occurs. Change-Id: Ibec7077913b7efe3be41542600b169bcdf5d0ba4
2.6 KiB
2.6 KiB