# Copyright (c) 2020 ARM Limited. All rights reserved.
# SPDX-License-Identifier: Apache-2.0

add_subdirectory(services)

target_include_directories(mbed-os-psa
    INTERFACE
        ./inc
        ./inc/psa
        ./mbedtls
        ./pal
)

target_sources(mbed-os-psa
    INTERFACE
        mbedtls/psa_crypto.c
        mbedtls/psa_crypto_se.c
        mbedtls/psa_crypto_slot_management.c
        mbedtls/psa_crypto_storage.c
        mbedtls/psa_its_file.c

        pal/pal_attestation_eat.c
        pal/pal_attestation_intf.c
        pal/pal_client_api_empty_intf.c
        pal/pal_client_api_intf.c
        pal/pal_internal_trusted_storage_intf.c
        pal/pal_protected_storage_intf.c

        src/client.c
        src/default_random_seed.cpp
)