diff options
| -rw-r--r-- | gnu/packages/firmware.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 8972b84f51..2e2b48162f 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -522,6 +522,7 @@ executing in M-mode.") (description "SeaBIOS is an implementation of a 16bit x86 BIOS. SeaBIOS can run in an emulator or it can run natively on X86 hardware with the use of coreboot.") + (supported-systems '("i686-linux" "x86_64-linux")) ;; Dual licensed. (license (list license:gpl3+ license:lgpl3+ ;; src/fw/acpi-dsdt.dsl is lgpl2 |