diff options
Diffstat (limited to 'disk/gummiboot/DETAILS')
-rwxr-xr-x | disk/gummiboot/DETAILS | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/disk/gummiboot/DETAILS b/disk/gummiboot/DETAILS new file mode 100755 index 0000000000..239049562f --- /dev/null +++ b/disk/gummiboot/DETAILS @@ -0,0 +1,18 @@ + SPELL=gummiboot + VERSION=45 + SOURCE_IGNORE=volatile + SOURCE=$SPELL-$VERSION.tar.gz +SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION + SOURCE_URL[0]=http://cgit.freedesktop.org/$SPELL/snapshot/$SOURCE + WEB_SITE=http://freedesktop.org/wiki/Software/gummiboot/ + LICENSE[0]=GPL + ENTERED=20140203 + KEYWORDS="DISK" + SHORT="simple UEFI boot manager" +cat << EOF +gummiboot is a simple UEFI boot manager which executes configured EFI images. The default entry +is selected by a configured pattern (glob) or an on-screen menu. +gummiboot operates on the EFI System Partition (ESP) only. Configuration file fragments, kernels, +initrds, other EFI images need to reside on the ESP. Linux kernels need to be built with +CONFIG_EFI_STUB to be able to be directly executed as an EFI image. +EOF |