find Linux kernels with an embedded os-release file
authorKay Sievers <kay@vrfy.org>
Wed, 21 Jan 2015 23:03:42 +0000 (00:03 +0100)
committerKay Sievers <kay@vrfy.org>
Fri, 23 Jan 2015 17:54:02 +0000 (18:54 +0100)
commit83c71c06efa3fea9b77c85322957f2ec80805904
treea715bfd5b66def241c733f417cf56dcd20cc57ab
parentd58102696028bdd87df53eb04abe721bc956bca2
find Linux kernels with an embedded os-release file

Look for EFI executables at /EFI/Linux/*.efi, and add them to the
menu if the PE file contains an .osrel section which carries an
os-release file with the expected information.
Makefile.am
configure.ac
src/efi/graphics.c
src/efi/gummiboot.c
src/efi/pefile.c [new file with mode: 0644]
src/efi/pefile.h [new file with mode: 0644]
src/efi/util.c
src/efi/util.h
test/test-create-disk.sh