GNU bug report logs

#79262 bochs 3.0 bios/i440fx.bin is non-free

PackageSource(s)Maintainer(s)
guix PTS Buildd Popcon
Full log

Message #10 received at 79262-done@debbugs.gnu.org (full text, mbox, reply):

Received: (at 79262-done) by debbugs.gnu.org; 22 Aug 2025 16:16:23 +0000
From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 22 12:16:22 2025
Received: from localhost ([127.0.0.1]:37282 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1upURC-0001W3-Gk
	for submit@debbugs.gnu.org; Fri, 22 Aug 2025 12:16:22 -0400
Received: from mail-qv1-xf2c.google.com ([2607:f8b0:4864:20::f2c]:58376)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <efraim.flashner@gmail.com>)
 id 1upUR7-0001Vf-O2
 for 79262-done@debbugs.gnu.org; Fri, 22 Aug 2025 12:16:18 -0400
Received: by mail-qv1-xf2c.google.com with SMTP id
 6a1803df08f44-70d903d0d59so7848846d6.0
 for <79262-done@debbugs.gnu.org>; Fri, 22 Aug 2025 09:16:17 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1755879371; x=1756484171; darn=debbugs.gnu.org;
 h=in-reply-to:content-disposition:mime-version:references
 :mail-followup-to:message-id:subject:cc:to:from:date:sender:from:to
 :cc:subject:date:message-id:reply-to;
 bh=h0U7ZUrPaXkLVAnyBHgWIKCAd4xf0MQ4RduYyy/ZQfM=;
 b=FFcMYs7XkcsuUM3sDCibMXhDxtz05ItGYVMK25ihQ5Xz1u97ltALqARAoKOAvlB6TZ
 UfQoX/GFbFCBwt/Lfu1mMlXoOB5SgBz1EbUzqhmwoYyukfsAIPEBRuFTI4vvhyeCfg4p
 JAW8qn+mX1cZ6TVTt3FoBJ+HhGFF2pspK9u65Y+nZXypowAZ8KUi23aMFVRORY0GONYN
 mWn2S+kRvPXRANoZ6fxdFB39kHk+SN5gpBG8HjbnPGgg9rxi27dQSOyaFre3WEu8lzbr
 /v2+CULIHnrGl9NcNSqhIsU13gyj16dJf3MiFNeQ7ffsNLM5oM7CNoWsoceLok/dMll6
 rbPg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1755879371; x=1756484171;
 h=in-reply-to:content-disposition:mime-version:references
 :mail-followup-to:message-id:subject:cc:to:from:date:sender
 :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=h0U7ZUrPaXkLVAnyBHgWIKCAd4xf0MQ4RduYyy/ZQfM=;
 b=siioh0dbtIFa1yhCGc9G11pAwYmor0nZ5a2jFG/PxDC3SDYgLvbCiN6xcTXq90UHCb
 bXpylwS0dpmpe2mjMVIumiQqsW6Sb4ztnEpSGe+8hsOIFTSH5nFUFTbdoVEqvdB9bIHE
 G/p/sR282bBi7FiRaEeR0Bv8eBetiFxL8chLpvvY/TTCknZUoPP7vqHN2QKyVmtqB5su
 aBiMW7vli7r9CBFaTdYoi/NxoVjMUwBbIpXtUFucQY5JYfIzSpYE7lv3BqHnJesyrP60
 V6+bXCv0qOZN8cpwthR88N51XI2cY659/gJHTgJWXQ4WWmYkfn0eBao8DEakCo7q6ByL
 BcDw==
X-Gm-Message-State: AOJu0YzwZw7GKwGinJeBWtGRj3M171MzFGOKBEl+xU8AjBkk8RpAIeDE
 h/eDBvHkbo08qO/b0suLHzIimx20OFpnlhIVa2tvzafeqb9vz+Zq9VNP9ZNmhA==
X-Gm-Gg: ASbGncsZ591bJGGAMGFTrFU77qUF13qoO8NUvAueD/hDrhSCoBSM/yUZ9iuEQwStErn
 zW6S/YpVrbpdm0z4lgjsBFA0KbXMgnnzzJ0MieXOxHTDJX0vbGkxCd+ZDBYJPdj91YNbx1vYgWg
 cC7GPjulgn+o8zd6uaH/2bT7jaCltlW4xlHeBWqY74r098I1vtxHH0zHBmc8bH6uWKVqAzjFMyz
 CPpUcbELC359TN4/LWExeFBX22zGTLLFfY+Z7LwWrZLQXm5Od+brBtFWGv7qAv40q3j/UY07vwU
 xcR4l7k2nscKgy1Dzk0G03jLmGUXN9BHq26MU38aHGFXJxmw08pbTnSyoxVzItFadKVoE4lVQtO
 s43Zbs4Etd/lA+lyB/ppbhKN6fbBTp2s=
X-Google-Smtp-Source: AGHT+IGpbxvlSJaAbw6IVIye9q0+3FjvAk6tv0pRzqEyvvHi7F5KUeZbY9ZwsaXbgFGc+852va8sYQ==
X-Received: by 2002:a05:6214:c2d:b0:709:e54b:262a with SMTP id
 6a1803df08f44-70d9738f3c0mr33136786d6.44.1755879371017; 
 Fri, 22 Aug 2025 09:16:11 -0700 (PDT)
Received: from localhost ([32.221.84.130]) by smtp.gmail.com with ESMTPSA id
 6a1803df08f44-70da7285947sm1212166d6.48.2025.08.22.09.16.10
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Fri, 22 Aug 2025 09:16:10 -0700 (PDT)
Date: Fri, 22 Aug 2025 19:16:09 +0300
From: Efraim Flashner <efraim@flashner.co.il>
To: "Haelwenn (lanodan) Monnier" <contact@hacktivis.me>
Subject: Re: bug#79262: bochs 3.0 bios/i440fx.bin is non-free
Message-ID: <aKiXycJQVhDsbv_G@X1>
Mail-Followup-To: Efraim Flashner <efraim@flashner.co.il>,
 "Haelwenn (lanodan) Monnier" <contact@hacktivis.me>,
 79262-done@debbugs.gnu.org
References: <aKJFLvmpHmgn6x-d@cloudsdale.lanodan.eu>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
 protocol="application/pgp-signature"; boundary="xLpYR1+gf9MAbYAg"
Content-Disposition: inline
In-Reply-To: <aKJFLvmpHmgn6x-d@cloudsdale.lanodan.eu>
x-ms-reactions: disallow
X-PGP-Key-ID: 0x41AAE7DCCA3D8351
X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc
X-PGP-Fingerprint: A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
X-Spam-Score: 0.1 (/)
X-Debbugs-Envelope-To: 79262-done
Cc: 79262-done@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -0.9 (/)
[Message part 1 (text/plain, inline)]
On Sun, Aug 17, 2025 at 11:10:06PM +0200, Haelwenn (lanodan) Monnier wrote:
> Hi,
> 
> Not a Guix user but checked the packaging recipes and it doesn't
> seems to be handled.
> 
> See:
> - https://sources.debian.org/src/bochs/3.0%2Bdfsg-1/debian/changelog
> - https://bugs.gentoo.org/961640
> 
> TL;DR:
> - Bochs 3.0 ships with the bios/i440fx.bin blob
> - i440fx BIOS is under a non-free license
> - Even if it would be free, it requires NBASM which ships with no source code,
>   and is also under a non-free license
> 

Thanks! This is now fixed in Guix. I've opened a bug report on codeberg
under guix/guix to track the other firmware included.

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

Send a report that this bug log contains spam.


debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Sun Sep 7 09:02:54 2025; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.