@gnu_slash_gabber@social.tchncs.de
Post #3252067
2026-02-06 21:11 UTC
@theesm@social.tchncs.de have you considered joining the embedded team and maybe tackling the remaining issues as a milestone?
re non-upstreamable parts: IIRC raspis don't boot w/o proper firmware blobs but still there's raspi u-boots mainlined in guix proper. maybe there's a way to mainline as much as possible and contain the rest in nonguix simultaneously?
Replies (1)
-
@theesm@social.tchncs.de 2026-02-06 22:14
@gnu_slash_gabber@social.tchncs.de re embedded: I'll consider doing so, that seems to be a good idea! (at least for what can be tackled in the realms of guix already) re raspi: the u-boot package for raspi is a "bring your own firmware" kind of thing as well iirc, the rk3588 u-boot would be similiar to it, meaning one could upstream everything except for the rk3588_ddr_lp4_2112MHz_lp5_2400MHz_v1.18.bin and either rely on people inheriting the package and do modify-phases magic or maybe just upstream the whole thing to nonguix for the moment being.