On 2024-09-19, Zheng Junjie wrote:
> * gnu/packages/firmware.scm (make-opensbi-package): Update to 1.5.1.
>
> Change-Id: Ia70e7619d0b4064917b1595509bad543044830f2

Pushed as 22795da619f22a12a1823503535072104c175035.

> prerequisite-patch-id: a3168ad7aa6dcfc751b9e3b5bb515db5acbf28ac
> prerequisite-patch-id: d0d49144505c4858478511c2ef2f3b62ab24b2d0
> prerequisite-patch-id: d3f1f3c7149847618ab708519eaf486532aa8a4b
> prerequisite-patch-id: 02b90f764222a30d0bf32bc72624dc34c4db6bf1

I did not include the prerequite-patch-id references; I assume those are
other work-in-progress patches in your local branch ... ?

live well,
  vagrant