Content-type: text/html
void getRandom(descriptor_t *descriptor, rand_out_t *out);
The trusted random number generation service gives trustworthy uniformly distributed random numbers. Currently the numbers are generated by the Linux random number generator. A single number is returned in out.
getLocalPublicKey (1), openTCBconnection (1), closeTCBConnection (1), getRandom (1), getTCBTimetsamp (1).