From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Containers on Guix Date: Sat, 22 Nov 2014 18:31:26 +0100 Message-ID: <877fynf8gh.fsf@gnu.org> References: <87lhn6eh12.fsf@izanagi.i-did-not-set--mail-host-address--so-tickle-me> <20141122165126.19565.59657@vulcan.local.tld> 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]:32891) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XsEX1-00009B-C0 for guix-devel@gnu.org; Sat, 22 Nov 2014 12:31:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XsEWu-0006QL-UZ for guix-devel@gnu.org; Sat, 22 Nov 2014 12:31:35 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:36626) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XsEWu-0006QB-NI for guix-devel@gnu.org; Sat, 22 Nov 2014 12:31:28 -0500 In-Reply-To: <20141122165126.19565.59657@vulcan.local.tld> (Ian Denhardt's message of "Sat, 22 Nov 2014 11:51:27 -0500") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ian Denhardt Cc: guix-devel@gnu.org Ian Denhardt skribis: > I'm sure there are other things already packaged that don't really have > any hope of working on top of another kernel. I think packages that are Linux-specific by design are all in (gnu packages linux). > This is going to be hard to do portably, but I don't think it's worth > worrying about too much yet. Yes, agreed. > Probably some work will have to happen upstream on the Hurd project. The Hurd supports fine-grain virtualization, so it wouldn=E2=80=99t be hard= to do (=E2=80=9Csub-hurds=E2=80=9D correspond to completely isolated container= s, launching a separate =E2=80=98proc=E2=80=99 server gives you a separate PID name spac= e, etc.) Thanks, Ludo=E2=80=99.