/gnu/store/2b4knbfy7maaqlywsa0pijfc1f1xs9hc-sed-boot0-4.8.drv