/dev/random

[Ben Laurie]

Apparently /dev/random uses h/w PRNGs if available, discarding all
other sources of randomness.

This seems like a mistake to me - we should fix it.

Also, it seems that entropy is available in detailed interrupt timing
(see http://www.issihosts.com/haveged/) which might be useful on
entropy-starved systems - I suspect we are not exploiting this source,
and in light of recent developments, we probably should be,

Comments?