From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pjotr Prins Subject: Re: Guix on a microkernel Date: Sun, 31 Mar 2019 16:08:31 +0200 Message-ID: <20190331140831.xyn52a2twevacwfu@thebird.nl> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([209.51.188.92]:47242) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hAbDX-0002uB-Br for guix-devel@gnu.org; Sun, 31 Mar 2019 10:13:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hAbDV-00043N-HI for guix-devel@gnu.org; Sun, 31 Mar 2019 10:13:47 -0400 Received: from mail.thebird.nl ([94.142.245.5]:45244) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hAbDU-00041q-0E for guix-devel@gnu.org; Sun, 31 Mar 2019 10:13:45 -0400 Content-Disposition: inline In-Reply-To: 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: mikadoZero Cc: Guix-devel On Sat, Mar 30, 2019 at 08:05:40PM -0400, mikadoZero wrote: > * I am curious what others think of microkernels. Microkernels are of great interest from a security point of view. I think they will become popular once there is a usable alternative. We need free software, free software and proper isolation at the OS level to improve security. > ### Why Hurd? > > Why the focus on Hurd given other microkernel options? I ask this > question out of curiosity and a lack of practical experience with > microkernels. Call it an accident of history ;). Being a GNU project we have a stake in getting the Hurd to a usable level and get people to start using it for daily work. I attended a talk at FOSDEM this year which gave an overview https://fosdem.org/2019/schedule/event/roadmap_for_the_hurd/attachments/slides/3270/export/events/attachments/roadmap_for_the_hurd/slides/3270/2019_02_01_fosdem_roadmap.pdf It looks like not a fat lot is needed to make this usable for many people. Most free software will actually run on Hurd today. Pj.