1# $OpenBSD: GENERIC,v 1.12 2021/05/19 19:32:25 kettenis Exp $ 2# 3# For further information on compiling OpenBSD kernels, see the config(8) 4# man page. 5# 6# For further information on hardware support for this architecture, see 7# the intro(4) man page. For further information about kernel options 8# for this architecture, see the options(4) man page. For an explanation 9# of each device driver in this file see the section 4 man page for the 10# device. 11 12machine riscv64 13include "../../../conf/GENERIC" 14maxusers 32 15 16option PCIVERBOSE 17option USER_PCICONF 18 19makeoptions KERNEL_BASE_PHYS="0x00200000" 20makeoptions KERNEL_BASE_VIRT="0xffffffc000200000" 21#option DEBUG 22#option DEBUG_AUTOCONF 23#option DEBUG_INTC 24#option DEBUG_TIMER 25 26config bsd swap generic 27 28# 29# Definition of system 30# 31 32# mainbus 33mainbus0 at root 34 35# cpu0 36cpu0 at mainbus0 37intc0 at cpu0 38 39# NS16550 compatible serial ports 40com* at fdt? 41 42virtio* at fdt? 43virtio* at pci? 44vio* at virtio? # Network 45vioblk* at virtio? 46vioscsi* at virtio? # Disk (SCSI) 47#viomb* at virtio? # Memory Ballooning 48viornd* at virtio? # Random Source 49 50# simplebus0 51simplebus* at fdt? 52# Platform Level Interrupt Controller 53plic* at fdt? early 1 54# L2 Cache Controller 55sfcc* at fdt? early 1 56 57syscon* at fdt? early 1 58gfrtc* at fdt? 59 60dwge* at fdt? 61ukphy* at mii? 62 63dwmmc* at fdt? 64sdmmc* at dwmmc? 65 66pciecam* at fdt? 67pci* at pciecam? 68 69# PCI 70ppb* at pci? # PCI-PCI bridges 71pci* at ppb? 72 73scsibus* at scsi? 74sd* at scsibus? 75cd* at scsibus? 76ch* at scsibus? 77uk* at scsibus? 78 79# Pseudo-Devices 80pseudo-device openprom 81