From 6bdcea3575f83e44e48b60ffd17f71d25aec5e25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Sat, 27 Jun 2026 12:48:25 +0200
Subject: [PATCH] virtual/dist-kernel: Bump to 7.1.2
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 virtual/dist-kernel/dist-kernel-7.1.2.ebuild | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 virtual/dist-kernel/dist-kernel-7.1.2.ebuild

diff --git a/virtual/dist-kernel/dist-kernel-7.1.2.ebuild b/virtual/dist-kernel/dist-kernel-7.1.2.ebuild
new file mode 100644
index 0000000000000..c6e96ed256166
--- /dev/null
+++ b/virtual/dist-kernel/dist-kernel-7.1.2.ebuild
@@ -0,0 +1,17 @@
+# Copyright 2021-2026 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Virtual to depend on any Distribution Kernel"
+SLOT="0/${PVR}"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~loong ~m68k ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc ~x86"
+
+RDEPEND="
+	|| (
+		~sys-kernel/gentoo-kernel-${PV}
+		~sys-kernel/gentoo-kernel-bin-${PV}
+		~sys-kernel/vanilla-kernel-${PV%_p*}
+		~sys-kernel/gentoo-kernel-modprep-${PV}
+	)
+"