Re: ABI mismatch on boot on arm32 system

[Christoph Buck]

Hi Maxim!

> Sorry for my delayed reply.

No problem.

> Totally, if you haven't done so already.

I already did. See https://issues.guix.gnu.org/74296

And thanks to Ludovic the patch is already merged.


-- 
Best regards

Christoph