From 5493a64ac49b14a1530313be8130cafe2e81e2d6 Mon Sep 17 00:00:00 2001
From: Andrew Turner <andrew@FreeBSD.org>
Date: Sun, 24 Sep 2017 13:28:24 +0000
Subject: [PATCH] Remove the VIRT kernel config, it's now useable through
 GENERIC.

Sponsored by:	DARPA, AFRL
---
 sys/arm/conf/VIRT | 59 -----------------------------------------------
 1 file changed, 59 deletions(-)
 delete mode 100644 sys/arm/conf/VIRT

diff --git a/sys/arm/conf/VIRT b/sys/arm/conf/VIRT
deleted file mode 100644
index 64f3a3df59e3..000000000000
--- a/sys/arm/conf/VIRT
+++ /dev/null
@@ -1,59 +0,0 @@
-#
-# VIRT -- Custom configuration for the qemu virt platform
-#
-# For more information on this file, please read the config(5) manual page,
-# and/or the handbook section on Kernel Configuration Files:
-#
-#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
-#
-# The handbook is also available locally in /usr/share/doc/handbook
-# if you've installed the doc distribution, otherwise always see the
-# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
-# latest information.
-#
-# An exhaustive list of options and more detailed explanations of the
-# device lines is also present in the ../../conf/NOTES and NOTES files.
-# If you are in doubt as to the purpose or necessity of a line, check first
-# in NOTES.
-#
-# $FreeBSD$
-
-ident		VIRT
-
-include 	"std.armv6"
-include 	"../qemu/std.virt"
-
-options 	SCHED_ULE		# ULE scheduler
-options 	PLATFORM
-options 	SMP			# Enable multiple cores
-
-# Interrupt controller
-device		gic
-options 	INTRNG
-
-# ARM Generic Timer
-device		generic_timer
-
-device		bpf
-device		loop
-device		ether
-device		uart
-device		pty
-device		snp
-device		pl011
-device		psci
-
-device		virtio
-device		virtio_mmio
-device		virtio_blk
-device		vtnet
-
-device		md
-device		random			# Entropy device
-
-# Flattened Device Tree
-options 	FDT			# Configure using FDT/DTB data
-
-# Extensible Firmware Interface
-options 	EFI
-