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