aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorDavid Craven <david@craven.ch>2017-01-16 20:23:11 +0100
committerDavid Craven <david@craven.ch>2017-02-10 17:15:35 +0100
commit1b533badfaf50be3d67f9a888e544b522f3080d6 (patch)
tree4cbea1f4ac0682f085ad6e07f641b76ac0bfb3a1 /gnu
parentce03b4535ae0b5459cf0fbfcbb549585cfd020b8 (diff)
downloadguix-1b533badfaf50be3d67f9a888e544b522f3080d6.tar
guix-1b533badfaf50be3d67f9a888e544b522f3080d6.tar.gz
gnu: Add seabios.
* gnu/packages/firmware.scm (seabios): New variable.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/firmware.scm44
1 files changed, 43 insertions, 1 deletions
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index e7d1ce49cb..ff4ea14826 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -29,7 +29,8 @@
#:use-module (gnu packages cmake)
#:use-module (gnu packages cross-base)
#:use-module (gnu packages flex)
- #:use-module (gnu packages perl))
+ #:use-module (gnu packages perl)
+ #:use-module (gnu packages python))
(define-public ath9k-htc-firmware
(package
@@ -175,3 +176,44 @@ driver.")
Broadcom/AirForce chipset BCM43xx with Wireless-Core Revision 5. It is used
by the b43-open driver of Linux-libre.")
(license license:gpl2)))
+
+(define-public seabios
+ (package
+ (name "seabios")
+ (version "1.10.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://code.coreboot.org/p/seabios/downloads/get/"
+ "seabios-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1jyjl719drnl1v0gf0l5q6qjjmkyqcqkka6s28dfdi0yqsxdsqsh"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("python-2" ,python-2)))
+ (arguments
+ `(#:tests? #f ; No check target.
+ #:phases
+ (modify-phases %standard-phases
+ (replace 'configure
+ (lambda _
+ (setenv "CC" "gcc")
+ #t))
+ (replace 'install
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (fmw (string-append out "/share/firmware")))
+ (mkdir-p fmw)
+ (copy-file "out/bios.bin" (string-append fmw "/bios.bin"))))))))
+ (home-page "https://www.seabios.org/SeaBIOS")
+ (synopsis "x86 BIOS implementation")
+ (description "SeaBIOS is an open source 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.")
+ ;; Dual licensed.
+ (license (list license:gpl3+ license:lgpl3+
+ ;; src/fw/acpi-dsdt.dsl is lgpl2
+ license:lgpl2.1
+ ;; src/fw/lzmadecode.c and src/fw/lzmadecode.h are lgpl3+ and
+ ;; cpl with a linking exception.
+ license:cpl1.0))))