#include <mbedtls/ctr_drbg.h>
#include <mbedtls/entropy.h>

//
// Teratronik Extension
//
// We keep a single application global random number generator.
//
extern mbedtls_ctr_drbg_context mbedtls_prng_context;
int mbedtls_prng_init(void);
