/gnu/store/pvjcyp200rjp43gacdngydrmdj75lxcl-sed-boot0-4.8.drv