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
