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
12 include "std.BERI"
13
14 options NFSCL # Network Filesystem Client
15 options NFSLOCKD # Network Lock Manager
16 options NFS_ROOT # NFS usable as /, requires NFSCL
17
18 options FDT
19 options FDT_DTB_STATIC
20 makeoptions FDT_DTS_FILE=beripad-de4.dts
21
22 hints "BERI_DE4.hints" # Flash partitions still use hints.
23
24 device altera_atse
25 device altera_avgen
26 device altera_jtag_uart
27 device altera_sdcard
28 device terasic_de4led
29 device terasic_mtl
30
31 device bpf
32 device cfi
33 device cfid
34 options CFI_SUPPORT_STRATAFLASH
35 options ATSE_CFI_HACK
36 device vt
37 device kbdmux
38
39 device uart
40
41 device miibus
42 options DEVICE_POLLING
43
44 #
45 # DMA support
46 #
47 device xdma
48 device altera_softdma
49 device altera_msgdma
50
51 #
52 # USB support
53 #
54 #options USB_DEBUG
55 #options USB_REQ_DEBUG
56 #options USB_VERBOSE
57 device usb
58 device saf1761otg
59
Cache object: ddf4544a3ecb35b171af39d91d9468b3
|