From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mike Gerwitz Subject: Re: Meltdown / Spectre Date: Tue, 16 Jan 2018 21:38:18 -0500 Message-ID: <87fu75ryzp.fsf@gnu.org> References: <874lnzcedp.fsf@gmail.com> <20180106174358.GA28436@jasmine.lan> <87lghapeu5.fsf@gmail.com> <87incc6z9o.fsf@gmail.com> <87fu7g436e.fsf@fastmail.com> <87vagad3xx.fsf@netris.org> <20180110050427.GB29390@jasmine.lan> <878tcy83eq.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52805) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ebdfX-0004Cu-14 for guix-devel@gnu.org; Tue, 16 Jan 2018 21:41:40 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ebdfW-0006Hv-1H for guix-devel@gnu.org; Tue, 16 Jan 2018 21:41:39 -0500 In-Reply-To: <878tcy83eq.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 16 Jan 2018 12:10:53 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: development@libreboot.org, guix-devel@gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Tue, Jan 16, 2018 at 12:10:53 +0100, Ludovic Court=C3=A8s wrote: > Should GuixSD nevertheless provide a mechanism to support microcode > updates, while not steering users to particular proprietary microcode? > Just like Linux-libre (attempts to) support loading of proprietary > firmware at the user=E2=80=99s choice? Would it make sense at all? Does Linux-Libre specifically support loading proprietary firmware, or does the project phrase it as _any_ firmware, free or not, that the user may provide? My point being: if there only exists proprietary microcode, it's hard to make the argument that a freedom-respecting user will use a microcode update tool for anything other than proprietary software. In that case, does the inclusion of the microcode updater in Guix encourage the use of non-free microcode, even if it doesn't state where to get it? =2D-=20 Mike Gerwitz Free Software Hacker+Activist | GNU Maintainer & Volunteer GPG: D6E9 B930 028A 6C38 F43B 2388 FEF6 3574 5E6F 6D05 https://mikegerwitz.com --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCgAGBQJaXrcaAAoJEIyRe39dxRuiSuYP/3OV1Ou9N/AEIlryFSJ64GsT 43O8P6nLAYZaqijqwssvFwo1u7fjrVNWi6wGKNnam+/mgCnZI3M8UAyaMmg4yfGi t7r/hW4duSD/1LDW2NVvzjSt01+AX/IYQSpq9aDhWTHOYMxUX0dBROnEFUY42IiQ A0CwmKWgNmwD1jiWa4+aSCYHsPz4On4bhubVTwl5DEXcAJI11NoNnazhKFZ120za dWCLE9JJmbOeflE3H5TaRNn47zvHA77QeTwKtK1B7lSvy1GrynKKbDP5fpOoLZOD R39JVYVGWFXqZh1Fr57IcRD2oVgEaN7w/6m5wyIrsgOAfD0X4DCD5LYWsXg4M2I3 USRMuKS8Cj0S4wXY2MrRvwbbj66Ub3Dffvhz8imQApijk+Z+8HSVefLsbL1gqzUP 2uGp086rVAWIKM8VgK22eXXBBW9yXQtyEnKK1OqbIqG1xhfHq+EuGinvkmsTBEaq tORx6IlIbUPZXHmItI1bP/xAirBuwKnE33rZzERPUE58EtI1jZ7ML0anEeRKg5C4 dt9wLfYhOHEUBeoDLYh4lWmLydjf0nP2eAuV9xWI+Gqq/uU5XXY5x310Jvk4BGIs 5dfXumXxzzwIfGDiaPOtFh7QcfpPLrFn9piWqMUSQtML/ivG9XXnDq54ZdIXC5uI pnjzJFmYVsc4Epo2ey41 =gFAL -----END PGP SIGNATURE----- --=-=-=--