Module os
sgx_rand
Interfaces to the operating system provided random number generators.
A random number generator