/gnu/store/4g3ghnrpjgwwys17dwkylqrlmflyn6bz-sed-boot0-4.8.drv