sd-boot: read random seed from ESP and pass it to OS

[thirdparty/systemd.git] / src / boot / efi / meson.build

diff --git a/src/boot/efi/meson.build b/src/boot/efi/meson.build
index d74660b27fdde4bee5b184910198dea8a5d32226..277432c7e0ac8fc33ee957177eae9b736d77a219 100644 (file)
--- a/src/boot/efi/meson.build
+++ b/src/boot/efi/meson.build
@@ -8,6 +8,7 @@ efi_headers = files('''
         linux.h
         measure.h
         pe.h
+        random-seed.h
         sha256.h
         shim.h
         splash.h
@@ -26,6 +27,7 @@ systemd_boot_sources = '''
         boot.c
         console.c
         crc32.c
+        random-seed.c
         sha256.c
         shim.c
 '''.split()