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