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 options ALTERA_MSGDMA_DESC_PF_STD
48 device xdma
49 device altera_softdma
50 device altera_msgdma
51
52 #
53 # USB support
54 #
55 #options USB_DEBUG
56 #options USB_REQ_DEBUG
57 #options USB_VERBOSE
58 device usb
59 device saf1761otg
60
Cache object: 473ef62d189e35e3e0c3c464b0813d77
|