From 5df43cee2d090df010f083501cd29bb5e0b7f57b Mon Sep 17 00:00:00 2001
From: projectmoon <projectmoon@agnos.is>
Date: Tue, 3 Oct 2023 09:31:40 +0200
Subject: [PATCH] virtual/dist-kernel: add 5.15.133

---
 .../dist-kernel/dist-kernel-5.15.133.ebuild   | 20 +++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 virtual/dist-kernel/dist-kernel-5.15.133.ebuild

diff --git a/virtual/dist-kernel/dist-kernel-5.15.133.ebuild b/virtual/dist-kernel/dist-kernel-5.15.133.ebuild
new file mode 100644
index 0000000..b0112a6
--- /dev/null
+++ b/virtual/dist-kernel/dist-kernel-5.15.133.ebuild
@@ -0,0 +1,20 @@
+# Copyright 2021-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="Virtual to depend on any Distribution Kernel"
+HOMEPAGE=""
+SRC_URI=""
+
+LICENSE=""
+SLOT="0/${PVR}"
+KEYWORDS="amd64 ~arm arm64 ~hppa ~ppc ppc64 ~sparc x86"
+
+RDEPEND="
+	|| (
+		~sys-kernel/gentoo-kernel-${PV}
+		~sys-kernel/gentoo-kernel-bin-${PV}
+		~sys-kernel/vanilla-kernel-${PV}
+		~sys-kernel/libre-kernrel-${PV}
+	)"