From: jsg <jsg@openbsd.org>
Date: Tue, 30 Apr 2024 01:53:49 +0000 (+0000)
Subject: remove commented DEBUG_TIMER for timer driver removed in 2021
X-Git-Url: http://artulab.com/gitweb/?a=commitdiff_plain;h=9cc06b131c01774af7f8b81121617ce7f47a97f5;p=openbsd

remove commented DEBUG_TIMER for timer driver removed in 2021
---

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