From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id WAudCRiA2WLzSwAAbAwnHQ (envelope-from ) for ; Thu, 21 Jul 2022 18:34:32 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id iIJzCRiA2WLCVQAAauVa8A (envelope-from ) for ; Thu, 21 Jul 2022 18:34:32 +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 E90663F2C9 for ; Thu, 21 Jul 2022 18:34:31 +0200 (CEST) Received: from localhost ([::1]:50984 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oEZ8B-0003EH-6P for larch@yhetil.org; Thu, 21 Jul 2022 12:34:31 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46922) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oEZ6W-0003Bn-1g for guix-devel@gnu.org; Thu, 21 Jul 2022 12:32:48 -0400 Received: from mail-wr1-x42b.google.com ([2a00:1450:4864:20::42b]:44763) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oEZ6U-0006xo-04 for guix-devel@gnu.org; Thu, 21 Jul 2022 12:32:47 -0400 Received: by mail-wr1-x42b.google.com with SMTP id bk26so3018453wrb.11 for ; Thu, 21 Jul 2022 09:32:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:subject:in-reply-to:references:date:message-id:mime-version :content-transfer-encoding; bh=mCF05Sjm2tOQTLwjLBqS2hWRWohO+NzLUWriPxjFdiE=; b=j7g66J/XR2Nc5x3NMBCuAq86NfkSTAfoXHKmsoMmvimyTudWAabsapkqmRh4ElE/xe gc6wOx3jmjnpuCqqU8nrYGOtcvNr2nYIkywg29N0DR7HZVJTJlYHLrB5WhsTbnV8LYAa U6+p5cqQ8kw+hCVpXAFH4QjysM8HeR36VXJCz6GL+c4PTyraq2U4HSHWkp99QPo9J/A6 N8cPGSEqselft38Ek77XuWYYXvFzR+4foSNX6LJyu4BfCgu6wNHuaiGpYKso3iXr45QZ 67m9I5bKMG5Ro0ZLxk9Hv8Vrd5HUn5vbfuJiqQHTpsDTOCU2k0G7gqKN+las2ycJCTHF pmZA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=mCF05Sjm2tOQTLwjLBqS2hWRWohO+NzLUWriPxjFdiE=; b=cNk8YTUqwmzAlduYzyJts7TXBJnbWMfdqExm3KzUIzRwjymYiAm6IqQk52X0OmKRyA l4nYYAlVeyhdoXevEecR2hIl6VJAxPWCJyV45ZrQG5QbM2Mhi0kEudq9/xUq7x3h6ICC 97XPkX6e/uunmp4kJ2ntrP/ed6E+EZ4mQNRJu0HLk2VqpV5bvPUru16EztycUXWJloYd SdvJsU26bDvIr+mdgpZALDiFAd7porPdutb1k1IyGGPFaNifKOxErCozC8WcJdZjLfC9 itxph6illXnrGOQWoiNMO2iTTYR08ad6WLDthB+87deFBIlT08S7EgiFqAe1z59/Kd0I yCAg== X-Gm-Message-State: AJIora/08X4Xmggt2vVB3DALPxGQN9J/n3qUKzMRPPIePgFF303D8t2s MWuoXod670o63anfuyj/qUCl7otCqUE= X-Google-Smtp-Source: AGRyM1tRqdhwbGotfSCEWbNhfBYBnyJXOZQyGHC8Lnme88UI0/r+jf1CpNdbf+Og6UstY4he/CJmcg== X-Received: by 2002:a5d:64ad:0:b0:21e:576c:db1f with SMTP id m13-20020a5d64ad000000b0021e576cdb1fmr2518532wrp.75.1658421161633; Thu, 21 Jul 2022 09:32:41 -0700 (PDT) Received: from lili (57.246.195.77.rev.sfr.net. [77.195.246.57]) by smtp.gmail.com with ESMTPSA id bg20-20020a05600c3c9400b003a2e92edeccsm6901632wmb.46.2022.07.21.09.32.40 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 21 Jul 2022 09:32:41 -0700 (PDT) From: zimoun To: Raghav Gururajan , guix-devel@gnu.org Subject: Re: Could Guix System eventually run on top of HyperbolaBSD ? slightly off topic In-Reply-To: References: Date: Thu, 21 Jul 2022 18:27:02 +0200 Message-ID: <86sfmu4ejt.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::42b; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42b.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, 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" Authentication-Results: aspmx1.migadu.com; none X-Migadu-Scanner: scn1.migadu.com X-TUID: /7t7MNQh78Js Hi Raghav, On Wed, 20 Jul 2022 at 12:03, Raghav Gururajan wr= ote: > [1] The idea isn't off-topic, because, Guix is meant to be kernel=20 > agnostic. So exploring HyperbolaBSD as a kernel option for Guix is with=20 > in the prospect. Hum, I do not think that Guix is agnostic about the standard C library. Therefore, Guix is not meant to be kernel agnostic. Well, it depends what we name Guix. From my understanding, the bootstrap chain is not kernel agnostic. For instance, what is the size of the current binary seed on the Hurd kernel? >From my understanding, Guix is meant to be GNU which means Guix is using many tools from GNU and these tools are often not kernel agnostic. > (A) Guix System with GNU userspace and HyperbolaBSD kernel. Debian folks did that: GNU userland packaged with .deb using GLibc running on the top of a modified FreeBSD kernel The project is named Debian/kfreebsd [1] and it is a huge piece of work. Well, we could imagine reuse their work and replace =E2=80=9CDebian package= s=E2=80=9D by Guix ones. But=E2=80=A6 yes, a strong but! It is a lot of work as Vagrant explains it= [2]. Basically, Guile 3.0 is not working on Debian/kfreebsd so it requires many patches to have Guile 3.0 running on the top of a BSD kernel. 1: 2: > (B) Guix System with HyperbolaBSD userspace and HyperbolaBSD kernel. It means port Guix to a BSD kernel. Guix is strongly connected to the GLibc and a BSD kernel is not using GLibc but another. Therefore, it requires to solve many difficult core issues. On Wed, 20 Jul 2022 at 18:49, Maxime Devos wrote: > (C) Guix System with HyperbolaBSD userspace (except for GNU C library=20 > and compiler) and Linux or Hurd kernel It means port BSD applications. For instance, about pf, from Wikipedia [1]: PF has been ported to many other operating systems, however there are major differences in capabilities and even, nothing about kernels other than BSD variants. 1: In all cases (A) or (B) or (C), it is the sort of project that would take someone highly motivated and highly skilled busy for some time. Cheers, simon