#include "val_interfaces.h"
#include "pal_mbed_os_intf.h"

#if !defined(MBED_CONF_RTOS_PRESENT)
#error [NOT_SUPPORTED] PSA compliance attestation test cases require RTOS to run.
#else
void test_entry_a001(val_api_t *val_api, psa_api_t *psa_api); 

int main(void)
{
    test_start(test_entry_a001, COMPLIANCE_TEST_ATTESTATION);
}
#endif