/include/drivers/measured_boot/event_log/