/gnu/store/95c9c88s9kkbrw9ry9qcgagzl5hiaaxr-sed-boot0-4.8.drv