bochs 3.0 bios/i440fx.bin is non-free

  • Done
  • quality assurance status badge
Details
2 participants
  • Haelwenn (lanodan) Monnier
  • Efraim Flashner
Owner
unassigned
Submitted by
Haelwenn (lanodan) Monnier
Severity
normal

Debbugs page

H
H
Haelwenn (lanodan) Monnier wrote on 17 Aug 14:10 -0700
(address . bug-guix@gnu.org)
aKJFLvmpHmgn6x-d@cloudsdale.lanodan.eu
Hi,

Not a Guix user but checked the packaging recipes and it doesn't
seems to be handled.

See:

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
E
E
Efraim Flashner wrote on 22 Aug 09:16 -0700
(name . Haelwenn (lanodan) Monnier)(address . contact@hacktivis.me)(address . 79262-done@debbugs.gnu.org)
aKiXycJQVhDsbv_G@X1
On Sun, Aug 17, 2025 at 11:10:06PM +0200, Haelwenn (lanodan) Monnier wrote:
Toggle quote (16 lines)
> 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
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmiol8UACgkQQarn3Mo9
g1HVnQ/8DtxPc96ntanDxkknxZVWuADfpihBd0ib3JIxzNBpiUBpPKG3zseZH77V
zVNxBVhVOZ/gD9jNaZgeDAMZLQugnxUoo3NBX+QESGt6MjiFOT1JL+PYRZHCTp9r
BADIzSBzNRM3E0qe5e3h5KUVru6s8/qm9GlnZShUYEVXPkwnX6RzVyMmnVnobbha
9VDtmNQzzpyp/cKRpGDMVPHDmjdhUL5cVaXsgjrsCpvA7si6Mefs7sFZ5ysDkMvM
AUXfZRFbtdeXOT0y6dkz3yLfQcx9IHUKPGSZGk7k1hxcqhtz8lz99X3TZPtEZW3U
upPV1NebhKit/h4i9hMLdOzWyVFDk6K0P3Dqwt7FVeLKT6KfiF1w40yPAYrL1wR3
Eo4R9MA8wHJ5rksJ/a5S5QwfSFUNGAq0Ot4Vaybqh5aFxQPIV05Zc+gspgZ8IqBP
sqTyCz15DS25EDrjnsCYhlOsamHd5AALOEPXIoAup7DFbqrQDif3y2i0nMZuFFD7
zXX+NK3WLCVCctxkAJfp2jVj4naCpjJjsKV+wwNfDgEezoTu2JqJR5iNpR5ASUuG
grcCy9Kog8gKc+0d8EVJSO0jXZMcOZfRB4+uybTXO1dAgSxUPb9n3m/lvo9MAIU3
0wGfyfBD1shbN8M4xuFcrszk2lSZDpVzW/nel4MensEOZ0C/NsM=
=H9LK
-----END PGP SIGNATURE-----


Closed
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send an email to 79262@patchwise.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 79262
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch