/gnu/store/4filkrk75snilamalj55kbnw7r85annc-opensbi-1.1-checkout.drv