From mboxrd@z Thu Jan  1 00:00:00 1970
From: radoslaw@chmielarz.xyz
Subject: Guix and sel4
Date: Sun, 14 Jan 2018 22:16:39 +0100
Message-ID: <cf6ac7c55f38b1f769abde81bfd7b9e7@chmielarz.xyz>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII;
 format=flowed
Content-Transfer-Encoding: 7bit
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:52749)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <SRS0=5zoe=EJ=chmielarz.xyz=radoslaw@mail2.zenbox.pl>)
	id 1eape2-00022W-Ty
	for help-guix@gnu.org; Sun, 14 Jan 2018 16:16:47 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <SRS0=5zoe=EJ=chmielarz.xyz=radoslaw@mail2.zenbox.pl>)
	id 1eapdz-0005gs-Py
	for help-guix@gnu.org; Sun, 14 Jan 2018 16:16:46 -0500
Received: from mail2.zenbox.pl ([178.216.203.246]:17845)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71)
	(envelope-from <SRS0=5zoe=EJ=chmielarz.xyz=radoslaw@mail2.zenbox.pl>)
	id 1eapdz-0005ec-EP
	for help-guix@gnu.org; Sun, 14 Jan 2018 16:16:43 -0500
Received: from mail2.zenbox.pl (ip-178-216-203-246.e24cloud.com [127.0.0.1])
	by mail2.zenbox.pl (Postfix) with ESMTP id 654E29815AE0
	for <help-guix@gnu.org>; Sun, 14 Jan 2018 22:16:40 +0100 (CET)
Received: from mail2.zenbox.pl ([127.0.0.1])
	by mail2.zenbox.pl (mail2.zenbox.pl [127.0.0.1]) (amavisd-new,
	port 10024) with ESMTP id g1q8nCb1H67x for <help-guix@gnu.org>;
	Sun, 14 Jan 2018 22:16:39 +0100 (CET)
Received: from poczta.zenbox.pl (unknown [185.23.21.92])
	by mail2.zenbox.pl (Postfix) with ESMTPA id 783D59818588
	for <help-guix@gnu.org>; Sun, 14 Jan 2018 22:16:39 +0100 (CET)
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: help-guix@gnu.org

Hi,

In 2016 David Craven has sent an email about his attempt in using sel4 
(genode with sel4 to be exact) with guix 
(https://lists.gnu.org/archive/html/help-guix/2016-12/msg00058.html). Do 
You know if he succeeded or not? And if not where there any substantial 
blockers or just lack of time?

Also while I'm asking would it be possible to use only the microkernel 
without the genode ecosystem in the guixsd? And on that topic is guixsd 
able to cross-compile? It already has the sandboxing for the packages so 
I would imagine it couldn't be that difficult but maybe it wasn't tried 
out before. I should probably RTFM but this is just a side-note 
question.

Cheers,
Radek