/gnu/store/wkgsd782v4b4mdwyzlzn433wblmar1p1-file-boot0-5.38.drv