From fcfa74a1cfe16dace0c6a34d0c83e290843a35bd Mon Sep 17 00:00:00 2001
From: cinap_lenrek <cinap_lenrek@felloff.net>
Date: Sun, 8 Jun 2014 04:40:18 +0200
Subject: [PATCH] pc64: use pc/pcrandom.$O instead of port/random.$O for RDRAND
 instruction support

---
 sys/src/9/pc64/mkfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/src/9/pc64/mkfile b/sys/src/9/pc64/mkfile
index 696d8cbd7..ecbed629f 100644
--- a/sys/src/9/pc64/mkfile
+++ b/sys/src/9/pc64/mkfile
@@ -39,7 +39,6 @@ PORT=\
 	taslock.$O\
 	tod.$O\
 	xalloc.$O\
-	random.$O\
 
 OBJ=\
 	l.$O\
@@ -50,6 +49,7 @@ OBJ=\
 	memory.$O\
 	mmu.$O\
 	trap.$O\
+	pcrandom.$O\
 	$CONF.root.$O\
 	$CONF.rootc.$O\
 	$DEVS\