From bf94e4c416be9a52c3456ecfaaa477d56e3a417d Mon Sep 17 00:00:00 2001
From: Trammell Hudson <trammell.hudson@twosigma.com>
Date: Thu, 30 Mar 2017 10:16:13 -0400
Subject: [PATCH] include a nearly empty, but consistent, cpio file to ensure
 reproducible Linux builds (issue #142)

---
 config/linux.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/linux.config b/config/linux.config
index 94457ab..efd9498 100644
--- a/config/linux.config
+++ b/config/linux.config
@@ -143,7 +143,7 @@ CONFIG_ARCH_SUPPORTS_INT128=y
 # CONFIG_SYSFS_DEPRECATED is not set
 # CONFIG_RELAY is not set
 CONFIG_BLK_DEV_INITRD=y
-CONFIG_INITRAMFS_SOURCE=""
+CONFIG_INITRAMFS_SOURCE="../../dev.cpio"
 # CONFIG_RD_GZIP is not set
 # CONFIG_RD_BZIP2 is not set
 # CONFIG_RD_LZMA is not set