#include "mbed.h" #include "crypto.h" #include "default_random_seed.h" #include "psa/internal_trusted_storage.h" int mbed_default_seed_read(unsigned char *buf, size_t buf_len) { size_t actual_size; psa_status_t rc = psa_its_get(PSA_CRYPTO_ITS_RANDOM_SEED_UID, 0, buf_len, buf, &actual_size); return (rc); } int mbed_default_seed_write(unsigned char *buf, size_t buf_len) { psa_status_t rc = psa_its_set(PSA_CRYPTO_ITS_RANDOM_SEED_UID, buf_len, buf, 0); return (rc); }