From 7fd8eba6e5391e514258d3d852eca54eae08d5d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Tue, 18 Feb 2025 12:46:59 +0100
Subject: [PATCH] virtual/dist-kernel: Bump to 6.12.15
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-6.12.15.ebuild | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 virtual/dist-kernel/dist-kernel-6.12.15.ebuild

diff --git a/virtual/dist-kernel/dist-kernel-6.12.15.ebuild b/virtual/dist-kernel/dist-kernel-6.12.15.ebuild
new file mode 100644
index 0000000000000..e66ff24333732
--- /dev/null
+++ b/virtual/dist-kernel/dist-kernel-6.12.15.ebuild
@@ -0,0 +1,16 @@
+# Copyright 2021-2025 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="~amd64 ~arm ~arm64 ~hppa ~loong ~ppc ~ppc64 ~riscv ~sparc ~x86"
+
+RDEPEND="
+	|| (
+		~sys-kernel/gentoo-kernel-${PV}
+		~sys-kernel/gentoo-kernel-bin-${PV}
+		~sys-kernel/vanilla-kernel-${PV}
+	)
+"