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