Subject: Re: bug#45517: Failed boot on arm32 with u-boot due to missing requirements with the distro boot protocol
From: Mathieu Othacehe <[email-masked]>
To: Denis 'GNUtoo' Carikli <[email-masked]>
Cc: [email-masked]
Date: Sat, 02 Jan 2021 11:23:24 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey Dennis,

> Thanks a lot, that works fine.

Glad it works! Maybe we should consider creating a
gnu/system/images/lime.scm file in the future.

Closing this one.

Thanks,

Mathieu