From mboxrd@z Thu Jan 1 00:00:00 1970 From: Katherine Cox-Buday Subject: Re: Meltdown / Spectre Date: Mon, 08 Jan 2018 11:22:59 -0600 Message-ID: <87incc6z9o.fsf@gmail.com> References: <874lnzcedp.fsf@gmail.com> <20180106174358.GA28436@jasmine.lan> <87lghapeu5.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59586) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eYb8c-0005y0-Hs for guix-devel@gnu.org; Mon, 08 Jan 2018 12:23:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eYb8Z-00021w-DS for guix-devel@gnu.org; Mon, 08 Jan 2018 12:23:06 -0500 Received: from mail-io0-x230.google.com ([2607:f8b0:4001:c06::230]:36654) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eYb8Z-000219-74 for guix-devel@gnu.org; Mon, 08 Jan 2018 12:23:03 -0500 Received: by mail-io0-x230.google.com with SMTP id i143so15248959ioa.3 for ; Mon, 08 Jan 2018 09:23:02 -0800 (PST) In-Reply-To: <87lghapeu5.fsf@gmail.com> (Chris Marusich's message of "Sat, 06 Jan 2018 18:44:50 -0800") 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: Chris Marusich Cc: development@libreboot.org, guix-devel@gnu.org Chris Marusich writes: > Leo Famulari writes: > I wonder: how easy will it be to install those firmware/microcode > updates if you are using GuixSD? In particular, I'm curious about the > case of the Lenovo x200 with libreboot, since that's what I use > personally. I am also interested -- more from a philisophical perspective -- how GuixSD and GNU squares with these kinds of security updates. -- Katherine