From cd3c2cc21ac6c5a1a80cf12df2551065ed9c9ec7 Mon Sep 17 00:00:00 2001
From: projectmoon <projectmoon@agnos.is>
Date: Mon, 14 Nov 2022 15:14:08 +0100
Subject: [PATCH] virtual/dist-kernel: add 5.19.17

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

diff --git a/virtual/dist-kernel/dist-kernel-5.19.17.ebuild b/virtual/dist-kernel/dist-kernel-5.19.17.ebuild
new file mode 100644
index 0000000..e95a1fc
--- /dev/null
+++ b/virtual/dist-kernel/dist-kernel-5.19.17.ebuild
@@ -0,0 +1,20 @@
+# Copyright 2021-2022 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/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~hppa ~ppc ~ppc64 ~riscv ~x86"
+
+RDEPEND="
+	|| (
+		~sys-kernel/gentoo-kernel-${PV}
+		~sys-kernel/gentoo-kernel-bin-${PV}
+		~sys-kernel/vanilla-kernel-${PV}
+		~sys-kernel/libre-kernel-${PV}
+	)"