From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Long term plan for GuixSD security: microkernels, ocap, RISC-V support Date: Fri, 24 Aug 2018 14:52:33 +0200 Message-ID: <87o9dslyem.fsf@gnu.org> References: <87d0u9s1x0.fsf@dustycloud.org> <87in41s0hl.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55735) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ftBZv-0004zh-4i for guix-devel@gnu.org; Fri, 24 Aug 2018 08:52:39 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ftBZr-0006Ko-Vs for guix-devel@gnu.org; Fri, 24 Aug 2018 08:52:39 -0400 In-Reply-To: <87in41s0hl.fsf@elephly.net> (Ricardo Wurmus's message of "Thu, 23 Aug 2018 14:58:46 +0200") 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: Ricardo Wurmus Cc: guix-devel@gnu.org Hi, Ricardo Wurmus skribis: > I=E2=80=99d love to get us closer to being able to run the GNU system wit= h the > Hurd and Guix underpinnings. Unfortunately, Hurd is not considered a > priority by GNU, which shows in the lack of support for modern hardware. I know you know ;-) but there=E2=80=99s no such thing as GNU when it comes = to setting a direction and providing resources to pursue software development goals. So I think what=E2=80=99s important here is to change the Hurd=E2=80=99s im= age to attract freedom-conscious and security-savvy people and organizations. Like Guix, it needs a critical mass to take off. Ludo=E2=80=99.