GENERIC64 revision 1.3 1 # $NetBSD: GENERIC64,v 1.3 2024/01/16 09:06:46 skrll Exp $
2 #
3 # GENERIC machine description file
4 #
5 # This machine description file is used to generate the default NetBSD
6 # kernel for RV64. 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.riscv64"
22 include "arch/riscv/conf/files.generic64"
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 #options COMPAT_NETBSD32
47 #options EXEC_ELF32
48
49 # Cache controller
50 ccache* at fdt? # SiFive FU[57]40 L2 Cache
51
52 # Clock controller
53 jh7100clkc* at fdt? pass 2 # StarFive JH7100 clock controller
54
55 # Pull in optional local configuration - always at end
56 cinclude "arch/riscv/conf/GENERIC64.local"
57