#ifndef __TREZORHAL_RNG_H__
#define __TREZORHAL_RNG_H__
int rng_init(void);
uint32_t rng_get(void);
#endif