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