Subject: [PATCH 0/4] Add EFI tools.

From: Danny Milosavljevic <[email-masked]>
Date: Wed, 23 Jan 2019 01:00:35 +0100

Danny Milosavljevic (4):
  gnu: Add gnu-efi.
  gnu: Add sbsigntools.
  gnu: Add efitools.
  gnu: Add efilinux.

 gnu/local.mk         |   1 +
 gnu/packages/efi.scm | 218 +++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 219 insertions(+)
 create mode 100644 gnu/packages/efi.scm