diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2019-01-23 01:03:04 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2019-02-04 00:14:18 +0100 |
| commit | bb4a8f4851c19a9d0a0ea55bab8aa802f09f6b6d (patch) | |
| tree | caf88bc6ed9a9ea0d4e8af6343b3dc5336d6c52b /gnu/packages/efi.scm | |
| parent | 527aab6f1813d7c2a92ef6b831fb77278aacdef5 (diff) | |
gnu: Add efilinux.
* gnu/packages/efi.scm (efilinux): New variable.
Diffstat (limited to 'gnu/packages/efi.scm')
| -rw-r--r-- | gnu/packages/efi.scm | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/gnu/packages/efi.scm b/gnu/packages/efi.scm index 8c24fa316c..a50bc41915 100644 --- a/gnu/packages/efi.scm +++ b/gnu/packages/efi.scm @@ -177,3 +177,42 @@ and EFI variable management.") ;; Compiling/linking/using OpenSSL is permitted. (license (list license:gpl2 license:lgpl2.1)))) + +(define-public efilinux + (package + (name "efilinux") + (version "1.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/mfleming/efilinux.git") + (commit (string-append "efilinux-" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0b4nxzr3wl5v4b52r79iw1arfgasz26xb38r2blw9v2qz2s1q9w2")))) + (build-system gnu-build-system) + (arguments + `(#:make-flags + (list "CC=gcc" + (string-append "INCDIR=" (assoc-ref %build-inputs "gnu-efi") + "/include") + (string-append "LIBDIR=" (assoc-ref %build-inputs "gnu-efi") + "/lib")) + #:tests? #f ; No tests exist. + #:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (install-file "efilinux.efi" + (string-append (assoc-ref outputs "out") + "/libexec")) + #t))))) + (inputs + `(("gnu-efi" ,gnu-efi))) + (synopsis "Minimal Linux loader for UEFI") + (description "This package provides a minimal Linux loader as an UEFI +program.") + (home-page "https://github.com/mfleming/efilinux") + (license license:bsd-2))) |