From 339be3f5173009465cc2f8603be113190f69c23d Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 25 Apr 2013 14:39:38 -0700
Subject: [PATCH] random.rdrand: adding RDRAND random generator.

---
 extra/random/rdrand/authors.txt   |  1 +
 extra/random/rdrand/rdrand.factor | 13 +++++++++++++
 extra/random/rdrand/summary.txt   |  1 +
 3 files changed, 15 insertions(+)
 create mode 100644 extra/random/rdrand/authors.txt
 create mode 100644 extra/random/rdrand/rdrand.factor
 create mode 100644 extra/random/rdrand/summary.txt

diff --git a/extra/random/rdrand/authors.txt b/extra/random/rdrand/authors.txt
new file mode 100644
index 0000000000..e091bb8164
--- /dev/null
+++ b/extra/random/rdrand/authors.txt
@@ -0,0 +1 @@
+John Benediktsson
diff --git a/extra/random/rdrand/rdrand.factor b/extra/random/rdrand/rdrand.factor
new file mode 100644
index 0000000000..a164214763
--- /dev/null
+++ b/extra/random/rdrand/rdrand.factor
@@ -0,0 +1,13 @@
+! Copyright (C) 2013 John Benediktsson
+! See http://factorcode.org/license.txt for BSD license
+
+USING: cpu.x86.features kernel random ;
+
+IN: random.rdrand
+
+SINGLETON: rdrand
+
+M: rdrand random-32* drop rdrand32 ;
+
+: with-rdrand ( quot -- )
+    [ rdrand ] dip with-random ; inline
diff --git a/extra/random/rdrand/summary.txt b/extra/random/rdrand/summary.txt
new file mode 100644
index 0000000000..b51c359972
--- /dev/null
+++ b/extra/random/rdrand/summary.txt
@@ -0,0 +1 @@
+RDRAND random generator