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