[PATCH 1/1] efi_selftest: can't have measured device-tree with kaslr-seed

[Heinrich Schuchardt]

Test that we don't have a /chosen/kaslr-seed property if we measure the
device-tree.

Signed-off-by: Heinrich Schuchardt <heinrich.schucha...@canonical.com>
---
 lib/efi_selftest/efi_selftest_fdt.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/efi_selftest/efi_selftest_fdt.c 
b/lib/efi_selftest/efi_selftest_fdt.c
index aa3b13ae3ab..066d9581432 100644
--- a/lib/efi_selftest/efi_selftest_fdt.c
+++ b/lib/efi_selftest/efi_selftest_fdt.c
@@ -227,6 +227,13 @@ static int execute(void)
                        return EFI_ST_FAILURE;
                }
        }
+       if (IS_ENABLED(CONFIG_EFI_TCG2_PROTOCOL_MEASURE_DTB)) {
+               str = get_property(u"kaslr-seed", u"chosen");
+               if (str) {
+                       efi_st_error("kaslr-seed with measured fdt\n");
+                       return EFI_ST_FAILURE;
+               }
+       }
        if (IS_ENABLED(CONFIG_RISCV)) {
                u32 fdt_hartid;
 
-- 
2.45.1