# $NetBSD: GENERIC64,v 1.9 2024/02/09 08:51:49 skrll Exp $
#
# GENERIC machine description file
#
# This machine description file is used to generate the default NetBSD
# kernel for RV64.  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.riscv64"
include	"arch/riscv/conf/files.generic64"
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

#options 	COMPAT_NETBSD32
#options 	EXEC_ELF32

# Cache controller
ccache* 	at fdt?			# SiFive FU[57]40 L2 Cache

# Clock controller
jh7100clkc* 	at fdt?	pass 2		# StarFive JH7100 clock controller

# Pin control
jh7100pinctrl* 	at fdt? pass 2		# StarFive JH7100 pinctrl driver

# SDMMC
dwcmmc* 	at fdt?			# DesignWare SD/MMC
sdmmc* 		at sdmmcbus?
ld0 		at sdmmc0
ld1 		at sdmmc1
ld2 		at sdmmc2
ld3 		at sdmmc3
ld* 		at sdmmc?
bwfm* 		at sdmmc?		# Broadcom BCM43xxx WiFi Interface

# USB
jh71x0usb* 	at fdt?			# StarFive JH71x0 usb

# USB
xhci* 		at fdt?			# XHCI
usb* 		at usbus?
include "dev/usb/usbdevices.config"
midi* 		at midibus?

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