From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id eAhTInIm12Iv5AAAbAwnHQ (envelope-from ) for ; Tue, 19 Jul 2022 23:47:30 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id OIJ+IXIm12IpNAAAG6o9tA (envelope-from ) for ; Tue, 19 Jul 2022 23:47:30 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 44A741AF6C for ; Tue, 19 Jul 2022 23:47:30 +0200 (CEST) Received: from localhost ([::1]:56226 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oDv3x-0007cV-5e for larch@yhetil.org; Tue, 19 Jul 2022 17:47:29 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33096) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oDv3W-0007bi-5R for guix-devel@gnu.org; Tue, 19 Jul 2022 17:47:02 -0400 Received: from mx1.dismail.de ([78.46.223.134]:38167) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oDv3U-0004Mi-Ex for guix-devel@gnu.org; Tue, 19 Jul 2022 17:47:01 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 7e62a791; Tue, 19 Jul 2022 23:46:58 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:cc:in-reply-to:references; s=20190914; bh=vEGkdz95RMB3aYMa6SadwJVQDJQ5LpOsLX1ja2oRR6Y=; b=PcW4PSyS3zB2 lk/9xGrj+S1iYiaaU7YcOBWxaiqdktoy+kMiqyREjW+31bB0az3Q7p8K382CqsxC wvdftyxhF1FLpZiXsYW94DbZ8U5240diaqAk19//iGDeCrjB2mBEC1nmly8ak0es dNSuvQfWQ/Z4upWbOfkRjnDYGWo+rIgZnEbIfUjEBIeec0z2Uk65H0WI90eWe4vi 6ghGXAEqU9c09f2eJB668njEitZIyWNImsTtSGztiQQBle0S1LTCwx2C+m+S1O34 mk3Tcj0vMM4VXuOm24t7TtkfBSHG14khqlJ3nHWwY9aC7Axsx9AOvZ/uqS/LQ4P7 FZk79bbYsw== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 9ecb2100; Tue, 19 Jul 2022 23:46:57 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 442f55d2; Tue, 19 Jul 2022 23:46:57 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 58e30a2b (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Tue, 19 Jul 2022 23:46:57 +0200 (CEST) MIME-Version: 1.0 Date: Tue, 19 Jul 2022 21:46:56 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.16.0a From: jbranso@dismail.de Message-ID: <9b226426269f805a4d72384c0e285354@dismail.de> Subject: Re: Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic To: "Csepp" , "Vagrant Cascadian" Cc: "zimoun" , "Tobias Geerinckx-Rice" , guix-devel@gnu.org In-Reply-To: <877d4eaad1.fsf@riseup.net> References: <877d4eaad1.fsf@riseup.net> <875yk36zhs.fsf@dismail.de> <86lesw2dsa.fsf@gmail.com> <2697DE8E-5C5C-4FD4-81E8-7237B5654ADD@tobias.gr> <86fsj33ku8.fsf@gmail.com> <874jzjogbo.fsf@contorta> Received-SPF: pass client-ip=78.46.223.134; envelope-from=jbranso@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1658267250; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=tikHZshgV+Sw90+pEd1AbbONw7aph/4Q8oJsTfqcaQI=; b=umc12HLfRUZYhvHYB7C7hOHKzwxCJtd1g456ZBlkVuR416sL1v6pMUWC0dvqHWlaM0Eavs 276Hrj70v26x9ChqfgmHj7TJTIdSAGle1DgvQU/XLWyPKpDnyFJXQavwKxTF9F0/+ThXBw B63meLyLeFAGgBnq1JP0BLqrOiiithbCiBEwUECsfoIT7IQEG6qqQgKHIOnQ1PbmGVLZhy 0NZvPQI7JaNzK+lYz4m3NvS4jTT8vJPYYzWGa/rtT2lMRr20gBZYKR6lQQWLxR8GbKTEIz UAvA/EwOTTVDUmuGx+GqnwiR3fRN47MjhzGAqIAS3zNgeImLtI728Xi5yQKsig== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1658267250; a=rsa-sha256; cv=none; b=mz+pWgoFB0n+CZwwz+3DScVJINFjbT+bqgAyfF9rJwQwS8hHLUHiEH7J8i6U+xXxq2fSMc K2RpM6lkDfP/zjxNAFk8s+YifbOrUMUNvlXbnnZ9tjtWeIOi5VTLS/NU/18VdYroLB5fiG 02zqlf5GWvrR1REoekRBb8h9fsAd2P92SmGRtjI/OBQLwqpRt45gHpq0oQMzceAYEr+BLH xilQVAftbdMK+4gL/aNTXRJKv4N+C1aS0OJgCGpQGdktSuNZq3VhXrvOx7KDuHHd6x4kPB 7aKLoA4zjN50tfTdTDaypOIfa9UvOulPcvEUV54CIAi6Fihvv7hVgoyR90334A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b=PcW4PSyS; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -7.53 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b=PcW4PSyS; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 44A741AF6C X-Spam-Score: -7.53 X-Migadu-Scanner: scn0.migadu.com X-TUID: bxEElEH/Z7yy July 15, 2022 7:23 AM, "Csepp" wrote: > Vagrant Cascadian writes: >=20 >=20 > If the goal is to produce highly secure servers than I'd like to sugges= t > unikernels once again. No Guix running on the deployed server, but the > server image is built by and possibly deployed by Guix. > Of course the downside is that they do a whole lot less than OpenBSD or > Linux. But if your use case is already covered, that's actually a > positive, since no extra features means smaller attack surface. > MirageOS could be a good starting point, since we already have a good > chunk of Ocaml tooling integrated into Guix. > http://unikernel.org/projects > There was a Nix project with similar aims that sadly fizzled out, so > it's probably not exactly an easy task to tackle, but it's much easier > than porting Guix to a new kernel and packaging a userland for that > kernel. Thanks for the suggestion! That would be a really secure server!