1a9643ea8Slogwang# 2a9643ea8Slogwang# BERI_DE4_BASE -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC 3a9643ea8Slogwang# Implementation) FPGA soft core, as configured in its Terasic DE-4 reference 4a9643ea8Slogwang# configuration. This kernel configration must be further specialized to 5a9643ea8Slogwang# to include a root filesystem specification. 6a9643ea8Slogwang# 7a9643ea8Slogwang# $FreeBSD$ 8a9643ea8Slogwang# 9a9643ea8Slogwang 10*22ce4affSfengbojiang#NO_UNIVERSE 11a9643ea8Slogwang 12*22ce4affSfengbojianginclude "std.BERI" 13a9643ea8Slogwang 14a9643ea8Slogwangoptions NFSCL # Network Filesystem Client 15a9643ea8Slogwangoptions NFSLOCKD # Network Lock Manager 16a9643ea8Slogwangoptions NFS_ROOT # NFS usable as /, requires NFSCL 17a9643ea8Slogwang 18a9643ea8Slogwangoptions FDT 19a9643ea8Slogwangoptions FDT_DTB_STATIC 20a9643ea8Slogwangmakeoptions FDT_DTS_FILE=beripad-de4.dts 21a9643ea8Slogwang 22a9643ea8Slogwanghints "BERI_DE4.hints" # Flash partitions still use hints. 23a9643ea8Slogwang 24a9643ea8Slogwangdevice altera_atse 25a9643ea8Slogwangdevice altera_avgen 26a9643ea8Slogwangdevice altera_jtag_uart 27a9643ea8Slogwangdevice altera_sdcard 28a9643ea8Slogwangdevice terasic_de4led 29a9643ea8Slogwangdevice terasic_mtl 30a9643ea8Slogwang 31a9643ea8Slogwangdevice bpf 32a9643ea8Slogwangdevice cfi 33a9643ea8Slogwangdevice cfid 34a9643ea8Slogwangoptions CFI_SUPPORT_STRATAFLASH 35a9643ea8Slogwangoptions ATSE_CFI_HACK 36a9643ea8Slogwangdevice vt 37a9643ea8Slogwangdevice kbdmux 38a9643ea8Slogwang 39a9643ea8Slogwangdevice uart 40a9643ea8Slogwang 41a9643ea8Slogwangdevice miibus 42a9643ea8Slogwangoptions DEVICE_POLLING 43a9643ea8Slogwang 44a9643ea8Slogwang# 45*22ce4affSfengbojiang# DMA support 46*22ce4affSfengbojiang# 47*22ce4affSfengbojiangoptions ALTERA_MSGDMA_DESC_PF_STD 48*22ce4affSfengbojiangdevice xdma 49*22ce4affSfengbojiangdevice altera_softdma 50*22ce4affSfengbojiangdevice altera_msgdma 51*22ce4affSfengbojiang 52*22ce4affSfengbojiang# 53a9643ea8Slogwang# USB support 54a9643ea8Slogwang# 55a9643ea8Slogwang#options USB_DEBUG 56a9643ea8Slogwang#options USB_REQ_DEBUG 57a9643ea8Slogwang#options USB_VERBOSE 58a9643ea8Slogwangdevice usb 59a9643ea8Slogwangdevice saf1761otg 60a9643ea8Slogwang 61