From c9935507d7bbcde70c4f54796aeb1b4117a10027 Mon Sep 17 00:00:00 2001
From: Ola Jeppsson <ola@adapteva.com>
Date: Thu, 12 May 2016 14:32:38 +0200
Subject: [PATCH] kernel.config: Enable xdevcfg

Build driver for /dev/xdevcfg so it's possible to load a bitstream at
runtime.

Signed-off-by: Ola Jeppsson <ola@adapteva.com>
---
 kernel.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel.config b/kernel.config
index 1286d0b..b0940f2 100644
--- a/kernel.config
+++ b/kernel.config
@@ -3,6 +3,7 @@ CONFIG_ZSMALLOC=y
 CONFIG_ZRAM=y
 CONFIG_HWMON=y
 CONFIG_SENSORS_IIO_HWMON=y
+CONFIG_XILINX_DEVCFG=y
 
 #
 #CONFIG_EPIPHANY=y