# $NetBSD: GENERIC,v 1.24 2023/05/07 12:41:48 skrll Exp $
#
# GENERIC machine description file
#
# This machine description file is used to generate the default NetBSD
# kernel for RV32.  The generic kernel does not include all options,
# subsystems and device drivers, but should be useful for most applications.
#
# The machine description file can be customised for your specific
# machine to reduce the kernel size and improve its performance.
#
# For further information on compiling NetBSD kernels, see the config(8)
# man page.
#
# For further information on hardware support for this architecture, see
# the intro(4) man page.  For further information about kernel options
# for this architecture, see the options(4) man page.  For an explanation
# of each device driver in this file see the section 4 man page for the
# device.

include "arch/riscv/conf/std.riscv"
include "arch/riscv/conf/files.generic"
include "arch/riscv/conf/GENERIC.common"

#options        EARLYCONS=com, CONSADDR=0x10000000      # qemu virt
options         VERBOSE_INIT_RISCV

# Diagnostic/debugging support options
options         DIAGNOSTIC      # inexpensive kernel consistency checks
                               # XXX to be commented out on release branch
options         DEBUG           # expensive debugging checks/support
#options        LOCKDEBUG       # expensive locking checks/support
#options        KERNHIST
#options        KERNHIST_PRINT
#options        UVMHIST
#options        UVMHIST_PRINT
#options        PMAPHIST
#options        PMAPHIST_PRINT
#options        SYSCTL_DEBUG
#options        SYSCTL_DEBUG_SETUP
#options        SYSCTL_DEBUG_CREATE
#options        PMAP_FAULTINFO
#options        RISCV_SYSCALL_DEBUG
#options        SYSCALL_DEBUG


# Pull in optional local configuration - always at end
cinclude        "arch/riscv/conf/GENERIC.local"