properties.h

Go to the documentation of this file.

// Copyright (c) Open Enclave SDK contributors.
// Licensed under the MIT License.
 
#ifndef _OE_BITS_PROPERTIES_H
#define _OE_BITS_PROPERTIES_H
 
#include "defs.h"
#include "result.h"
#include "types.h"
 
OE_EXTERNC_BEGIN
 
/* Injected by OE_SET_ENCLAVE_SGX macro and by the signing tool (oesign) */
#define OE_INFO_SECTION_NAME ".oeinfo"
 
typedef struct _oe_enclave_size_settings
{
    uint64_t num_heap_pages;
    uint64_t num_stack_pages;
    uint64_t num_tcs;
} oe_enclave_size_settings_t;
 
/* Base type for enclave properties */
typedef struct _oe_enclave_properties_header
{
    uint32_t size; 
    oe_enclave_type_t enclave_type; 
    oe_enclave_size_settings_t size_settings; 
} oe_enclave_properties_header_t;
 
#if __x86_64__ || _M_X64
#include "sgx/sgxproperties.h"
#else
#define OE_SET_ENCLAVE_SGX( \
    PRODUCT_ID,             \
    SECURITY_VERSION,       \
    ALLOW_DEBUG,            \
    HEAP_PAGE_COUNT,        \
    STACK_PAGE_COUNT,       \
    TCS_COUNT)
#endif
 
#if __aarch64__
#include "optee/opteeproperties.h"
#else
#define OE_SET_ENCLAVE_OPTEE( \
    UUID, HEAP_SIZE, STACK_SIZE, FLAGS, VERSION, DESCRIPTION)
#endif
 
oe_result_t __oe_sgx_set_minimum_crl_tcb_issue_date(
    uint32_t year,
    uint32_t month,
    uint32_t day,
    uint32_t hours,
    uint32_t minutes,
    uint32_t seconds);
 
OE_EXTERNC_END
 
#endif /* _OE_BITS_PROPERTIES_H */