GNU bug report logs - #79262
bochs 3.0 bios/i440fx.bin is non-free

Previous Next

Package: guix;

Reported by: "Haelwenn (lanodan) Monnier" <contact <at> hacktivis.me>

Date: Mon, 18 Aug 2025 02:12:03 UTC

Severity: normal

Done: Efraim Flashner <efraim <at> flashner.co.il>

Full log

View this message in rfc822 format

From: "Haelwenn (lanodan) Monnier" <contact <at> hacktivis.me>
To: 79262 <at> debbugs.gnu.org
Subject: bug#79262: bochs 3.0 bios/i440fx.bin is non-free
Date: Sun, 17 Aug 2025 23:10:06 +0200

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
This bug report was last modified 19 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.