GNU bug report logs - #44543
[PATCH] gnu: raspberry-pi: Add helpers for config.txt file generation.

Previous Next

Full log

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Stefan <stefan-guix <at> vodafonemail.de>
Cc: guix-patches <at> gnu.org
Subject: Re: [PATCH] gnu: raspberry-pi: Add helpers for config.txt file
 generation.
Date: Mon, 16 Nov 2020 10:32:31 +0100

[Message part 1 (text/plain, inline)]

I'm waiting for Ludo to comment about the dots in the variable names.
(Apparently, to be forward-compatible with literal pairs, dots in variable names are not nice to use)

It would be nice to also have some clients of that stuff in that file.

I.e. actually boot the raspberry pi using some chainloader config.

Otherwise it's hard to say whether this is a good API.  When the API is actually
used it's much easier to say.

[Message part 2 (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.