From 75d36854d45b04c22bf9f68d5dad66c41d86d26e Mon Sep 17 00:00:00 2001
From: Andrew Turner <andrew@FreeBSD.org>
Date: Thu, 11 Feb 2016 10:48:15 +0000
Subject: [PATCH] Remove unused Zedboard config files. files.zedboard was empty
 other than comments, and std.zedboard just pointed to files.zedboard and
 std.xilinx.

---
 sys/arm/conf/ZEDBOARD                  | 2 +-
 sys/arm/xilinx/zedboard/files.zedboard | 9 ---------
 sys/arm/xilinx/zedboard/std.zedboard   | 8 --------
 3 files changed, 1 insertion(+), 18 deletions(-)
 delete mode 100644 sys/arm/xilinx/zedboard/files.zedboard
 delete mode 100644 sys/arm/xilinx/zedboard/std.zedboard

diff --git a/sys/arm/conf/ZEDBOARD b/sys/arm/conf/ZEDBOARD
index 6cdbf66c3253..7fca9372a58e 100644
--- a/sys/arm/conf/ZEDBOARD
+++ b/sys/arm/conf/ZEDBOARD
@@ -22,7 +22,7 @@
 ident		ZEDBOARD
 
 include 	"std.armv6"
-include 	"../xilinx/zedboard/std.zedboard"
+include 	"../xilinx/std.zynq7"
 
 options 	SCHED_ULE		# ULE scheduler
 #options 	NFSSD			# Network Filesystem Server
diff --git a/sys/arm/xilinx/zedboard/files.zedboard b/sys/arm/xilinx/zedboard/files.zedboard
deleted file mode 100644
index 8a1af16fa0a4..000000000000
--- a/sys/arm/xilinx/zedboard/files.zedboard
+++ /dev/null
@@ -1,9 +0,0 @@
-#
-# files.zedboard
-#
-# $FreeBSD$
-
-#   We'll need board specific files once we start implementing drivers
-#   for Zedboard PL peripherals such as HDMI, VGA, or Audio Codecs.  For
-#   now, nothing is needed.
-#
diff --git a/sys/arm/xilinx/zedboard/std.zedboard b/sys/arm/xilinx/zedboard/std.zedboard
deleted file mode 100644
index 86f04f127714..000000000000
--- a/sys/arm/xilinx/zedboard/std.zedboard
+++ /dev/null
@@ -1,8 +0,0 @@
-#
-# std.zedboard
-#
-# $FreeBSD$
-
-include "../xilinx/std.zynq7"
-files	"../xilinx/zedboard/files.zedboard"
-