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 21 include "arch/riscv/conf/std.riscv" 22 include "arch/riscv/conf/files.generic" 23 include "arch/riscv/conf/GENERIC.common" 24 25 #options EARLYCONS=com, CONSADDR=0x10000000 # qemu virt 26 options VERBOSE_INIT_RISCV 27 28 # Diagnostic/debugging support options 29 options DIAGNOSTIC # inexpensive kernel consistency checks 30 # XXX to be commented out on release branch 31 options 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 48 cinclude "arch/riscv/conf/GENERIC.local" 49