/gnu/store/n8dgrmcibrz6fh0c03mhsn755a8p3ds8-opensbi-1.1-checkout.drv