From 7bb47fb16cb650ca8325f64735a7adf2c32dc83e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Thu, 5 Dec 2024 20:03:32 +0100
Subject: [PATCH] package.mask: Mask dist-kernels 6.12.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>
---
 profiles/package.mask | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index 1c4a3d7c42228..d898784386c92 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -33,6 +33,13 @@
 
 #--- END OF EXAMPLES ---
 
+# Michał Górny <mgorny@gentoo.org> (2024-12-05)
+# 6.12.2 does not boot for me.
+=sys-kernel/gentoo-kernel-6.12.2
+=sys-kernel/gentoo-kernel-bin-6.12.2
+=sys-kernel/vanilla-kernel-6.12.2
+=virtual/dist-kernel-6.12.2
+
 # Volkmar W. Pogatzki <gentoo@pogatzki.net> (2024-12-04)
 # Bugs #845294 #757543 #517744 #704198 #366739 #350302 #614318 #637422
 # #738898 #501586.