int mbedtls_hardware_poll( void *data, unsigned char *output, size_t len, size_t *olen ) { (void)(data); hwrand_fill(output, len); if(olen) *olen = len; return 0; }
void homekit_random_fill(uint8_t *data, size_t size) { hwrand_fill(data, size); }