Re: ABI mismatch on boot on arm32 system

[Christoph Buck]

Hi!

I submitted a patch which fixes the issue. See

> https://issues.guix.gnu.org/74296

Feedback is appreciated!


Christoph

-- 
Best regards

Christoph