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