John Benediktsson 339be3f517 random.rdrand: adding RDRAND random generator.		2013-04-25 14:39:38 -07:00
..
authors.txt	…
rdrand.factor	…
summary.txt	…