2018-04-04 09:40:32 +01:00
|
|
|
/*
|
2020-07-13 14:59:02 +01:00
|
|
|
* Copyright (c) 2018-2020, ARM Limited and Contributors. All rights reserved.
|
2018-04-04 09:40:32 +01:00
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
|
|
|
|
|
|
|
/dts-v1/;
|
|
|
|
|
|
|
|
/ {
|
2020-07-13 14:59:02 +01:00
|
|
|
#if MEASURED_BOOT
|
|
|
|
#include "event_log.dtsi"
|
|
|
|
#endif
|
|
|
|
};
|
2018-04-04 09:40:32 +01:00
|
|
|
|
2020-07-13 14:59:02 +01:00
|
|
|
#if MEASURED_BOOT && defined(SPD_opteed)
|
|
|
|
&event_log {
|
|
|
|
tpm_event_log_sm_addr = <0x0 0x0>;
|
2018-04-04 09:40:32 +01:00
|
|
|
};
|
2020-07-13 14:59:02 +01:00
|
|
|
#endif
|