efi_selftest: can't have measured device-tree with kaslr-seed

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

Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Reviewed-by: Ilias Apalodimas <ilias.apalodimas@linaro.org>
This commit is contained in:
Heinrich Schuchardt 2024-06-18 14:23:48 +02:00
parent a5e31659cf
commit b94217adc9

View file

@ -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;