Subject: bug#79262: closed (bochs 3.0 bios/i440fx.bin is non-free)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 22 Aug 2025 16:17:02 +0000

Your message dated Fri, 22 Aug 2025 19:16:09 +0300
with message-id <aKiXycJQVhDsbv_G@X1>
and subject line Re: bug#79262: bochs 3.0 bios/i440fx.bin is non-free
has caused the debbugs.gnu.org bug report #79262,
regarding bochs 3.0 bios/i440fx.bin is non-free
to be marked as done.

(If you believe you have received this mail in error, please contact
[email-masked].)

-- 
79262: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=79262
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: bochs 3.0 bios/i440fx.bin is non-free
From: "Haelwenn (lanodan) Monnier" <[email-masked]>
To: [email-masked]
Date: Sun, 17 Aug 2025 23:10:06 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Best regards

Subject: Re: bug#79262: bochs 3.0 bios/i440fx.bin is non-free
From: Efraim Flashner <[email-masked]>
To: "Haelwenn (lanodan) Monnier" <[email-masked]>
Cc: [email-masked]
Date: Fri, 22 Aug 2025 19:16:09 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

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   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted