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