1# $NetBSD: GENERIC,v 1.24 2023/05/07 12:41:48 skrll Exp $
2#
3# GENERIC machine description file
4#
5# This machine description file is used to generate the default NetBSD
6# kernel for RV32.  The generic kernel does not include all options,
7# subsystems and device drivers, but should be useful for most applications.
8#
9# The machine description file can be customised for your specific
10# machine to reduce the kernel size and improve its performance.
11#
12# For further information on compiling NetBSD kernels, see the config(8)
13# man page.
14#
15# For further information on hardware support for this architecture, see
16# the intro(4) man page.  For further information about kernel options
17# for this architecture, see the options(4) man page.  For an explanation
18# of each device driver in this file see the section 4 man page for the
19# device.
20
21include	"arch/riscv/conf/std.riscv"
22include	"arch/riscv/conf/files.generic"
23include	"arch/riscv/conf/GENERIC.common"
24
25#options 	EARLYCONS=com, CONSADDR=0x10000000	# qemu virt
26options 	VERBOSE_INIT_RISCV
27
28# Diagnostic/debugging support options
29options 	DIAGNOSTIC	# inexpensive kernel consistency checks
30				# XXX to be commented out on release branch
31options 	DEBUG		# expensive debugging checks/support
32#options 	LOCKDEBUG	# expensive locking checks/support
33#options 	KERNHIST
34#options 	KERNHIST_PRINT
35#options 	UVMHIST
36#options 	UVMHIST_PRINT
37#options 	PMAPHIST
38#options 	PMAPHIST_PRINT
39#options 	SYSCTL_DEBUG
40#options 	SYSCTL_DEBUG_SETUP
41#options 	SYSCTL_DEBUG_CREATE
42#options 	PMAP_FAULTINFO
43#options 	RISCV_SYSCALL_DEBUG
44#options 	SYSCALL_DEBUG
45
46
47# Pull in optional local configuration - always at end
48cinclude 	"arch/riscv/conf/GENERIC.local"
49