From mboxrd@z Thu Jan 1 00:00:00 1970 From: Paul Boddie Subject: Re: Guix and sel4 Date: Mon, 15 Jan 2018 22:17:54 +0100 Message-ID: <201801152217.55105.paul@boddie.org.uk> References: <201801150026.28057.paul@boddie.org.uk> <9b985bf236a0f43870259bf105f6f36d@chmielarz.xyz> Mime-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43478) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ebC8r-0006gt-U1 for help-guix@gnu.org; Mon, 15 Jan 2018 16:18:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ebC8m-00018C-W8 for help-guix@gnu.org; Mon, 15 Jan 2018 16:18:05 -0500 Received: from mail6.webfaction.com ([31.170.123.134]:37690 helo=smtp.webfaction.com) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ebC8m-00017a-QJ for help-guix@gnu.org; Mon, 15 Jan 2018 16:18:00 -0500 In-Reply-To: <9b985bf236a0f43870259bf105f6f36d@chmielarz.xyz> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: radoslaw@chmielarz.xyz Cc: help-guix@gnu.org On Monday 15. January 2018 21.44.08 radoslaw@chmielarz.xyz wrote: > > It wasn't entirely what I was hoping for but thank You for answering. So > to dig a little deeper how closely is guix connected to linux kernel? Some people are using Guix with the Hurd, so maybe they can explain the relationship between Guix and things other than the Linux kernel. I would guess that Guix shouldn't really care too much about the underlying system below a certain level, but then again I haven't looked into the details of the project that was mentioned involving Nix and Genode and why the Genode developers subsequently decided to do their own thing. The L4Re (as opposed to Genode) sources contains package modules that are reminiscent of things in the source trees of distributions like OpenWrt and OpenEmbedded (if I remember the latter correctly), but I don't think there is any notion of installing these packages while running the system. Instead, they appear to be bundled in the payload deployed to a system, at least within the scope of my own experiments. But package installation would mostly involve making files available in the filesystem that can then be accessed and executed, so I can imagine that with filesystem and program launching capabilities, you could have a package manager for L4Re. Maybe one already exists. All this said, I'm obviously still learning about L4Re and associated technologies, so I should probably investigate further before saying anything else. ;-) Paul