git: 79ec3b10b45a - main - arm: Tag SOCFPGA kernel as NO_UNIVERSE

From: Emmanuel Vadot <manu_at_FreeBSD.org>
Date: Thu, 02 Mar 2023 18:59:48 UTC 
The branch main has been updated by manu:

URL: https://cgit.FreeBSD.org/src/commit/?id=79ec3b10b45aed7bbbb2c0c8baa70990a4f034b1

commit 79ec3b10b45aed7bbbb2c0c8baa70990a4f034b1
Author:     Emmanuel Vadot <manu@FreeBSD.org>
AuthorDate: 2023-03-02 08:25:38 +0000
Commit:     Emmanuel Vadot <manu@FreeBSD.org>
CommitDate: 2023-03-02 18:59:23 +0000

    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 bd56bcf877c6..0ffd0ab53631 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"