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
10include "BERI_TEMPLATE"
11
12ident		BERI_DE4_BASE
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# USB support
46#
47#options	USB_DEBUG
48#options	USB_REQ_DEBUG
49#options	USB_VERBOSE
50device		usb
51device		saf1761otg
52
53