From 9cc06b131c01774af7f8b81121617ce7f47a97f5 Mon Sep 17 00:00:00 2001
From: jsg <jsg@openbsd.org>
Date: Tue, 30 Apr 2024 01:53:49 +0000
Subject: [PATCH] remove commented DEBUG_TIMER for timer driver removed in 2021

---
 sys/arch/riscv64/conf/GENERIC | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/sys/arch/riscv64/conf/GENERIC b/sys/arch/riscv64/conf/GENERIC
index ac3e35e3983..ab054707c9a 100644
--- a/sys/arch/riscv64/conf/GENERIC
+++ b/sys/arch/riscv64/conf/GENERIC
@@ -1,4 +1,4 @@
-#	$OpenBSD: GENERIC,v 1.51 2024/03/31 19:17:53 kettenis Exp $
+#	$OpenBSD: GENERIC,v 1.52 2024/04/30 01:53:49 jsg Exp $
 #
 # For further information on compiling OpenBSD kernels, see the config(8)
 # man page.
@@ -21,7 +21,6 @@ makeoptions	KERNEL_BASE_VIRT="0xffffffc000200000"
 #option		DEBUG
 #option		DEBUG_AUTOCONF
 #option		DEBUG_INTC
-#option		DEBUG_TIMER
 
 option		WSDISPLAY_COMPAT_USL
 option		WSDISPLAY_COMPAT_RAWKBD
-- 
2.20.1