GENERIC revision 1.24 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