/* SPDX-License-Identifier: BSD-2-Clause */ | |
/* | |
* Copyright (c) 2017, Linaro Limited | |
*/ | |
#ifndef KERNEL_EARLY_TA_H | |
#define KERNEL_EARLY_TA_H | |
#include <compiler.h> | |
#include <stdint.h> | |
#include <tee_api_types.h> | |
struct early_ta { | |
TEE_UUID uuid; | |
uint32_t size; | |
uint32_t uncompressed_size; /* 0: not compressed */ | |
const uint8_t ta[]; /* @size bytes */ | |
}; | |
#define __early_ta __section(".rodata.early_ta" __SECTION_FLAGS_RODATA) | |
#endif /* KERNEL_EARLY_TA_H */ | |