src/boot/efi/util.h \
src/boot/efi/console.h \
src/boot/efi/graphics.h \
+ src/boot/efi/splash.h \
src/boot/efi/pefile.h
systemd_boot_sources = \
src/boot/efi/util.c \
src/boot/efi/console.c \
src/boot/efi/graphics.c \
+ src/boot/efi/splash.c \
src/boot/efi/pefile.c \
src/boot/efi/boot.c
src/boot/efi/util.h \
src/boot/efi/pefile.h \
src/boot/efi/graphics.h \
+ src/boot/efi/splash.h \
src/boot/efi/linux.h
stub_sources = \
src/boot/efi/util.c \
src/boot/efi/pefile.c \
src/boot/efi/graphics.c \
+ src/boot/efi/splash.c \
src/boot/efi/linux.c \
src/boot/efi/stub.c