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