From 79ec3b10b45aed7bbbb2c0c8baa70990a4f034b1 Mon Sep 17 00:00:00 2001
From: Emmanuel Vadot <manu@FreeBSD.org>
Date: Thu, 2 Mar 2023 09:25:38 +0100
Subject: [PATCH] arm: Tag SOCFPGA kernel as NO_UNIVERSE

All drivers are already either in GENERIC or in the other arches LINT
so no need to build this one too.

Sponsored by:   Beckhoff Automation GmbH & Co. KG
Differential Revision:	https://reviews.freebsd.org/D38850
---
 sys/arm/conf/SOCFPGA | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sys/arm/conf/SOCFPGA b/sys/arm/conf/SOCFPGA
index bd56bcf877c..0ffd0ab5363 100644
--- a/sys/arm/conf/SOCFPGA
+++ b/sys/arm/conf/SOCFPGA
@@ -18,6 +18,8 @@
 #
 # $FreeBSD$
 
+#NO_UNIVERSE
+
 ident		SOCFPGA
 include 	"std.armv7"
 include 	"../altera/socfpga/std.socfpga"