So far Reddit hasn't got any answers; someone posted a link to a mailing list. Here's a similar link. (https://lkml.org/lkml/2013/3/24/144)
> This adds a driver for random number generator present on Broadcom BCM2835 SoC, used in Raspberry Pi and Roku 2 devices.
Here's a github for the blob source (https://github.com/raspberrypi/linux/blob/rpi-3.6.y/drivers/...)
It's a frustrating lack of information. :-/
(I posted here partly because of the Intel RdRand stuff the other day, but also RPis are fun and this could be a fun experiment.)
/* double speed, less random mode */
#define RNG_RBG2X 0x2
/* the initial numbers generated are "less random" so will be discarded */
#define RNG_WARMUP_COUNT 0x40000
A black box random number generator with some numbers being vaguely "less random"? That seems like an exceedingly poor idea.[1] http://darrenyates.com.au/electronics/archives/40 [2] http://en.wikipedia.org/wiki/Shot_noise
How it works is basically undocumented although I hear the RPi engineers believe it uses some sort of thermal noise as the source for entropy.
Broadcom do have HWRNG patents though...
https://www.google.co.uk/patents/US6748495 https://www.google.co.uk/patents/US8229108