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.
10 include "BERI_TEMPLATE"
14 options NFSCL # Network Filesystem Client
15 options NFSLOCKD # Network Lock Manager
16 options NFS_ROOT # NFS usable as /, requires NFSCL
19 options FDT_DTB_STATIC
20 makeoptions FDT_DTS_FILE=beripad-de4.dts
22 hints "BERI_DE4.hints" # Flash partitions still use hints.
26 device altera_jtag_uart
34 options CFI_SUPPORT_STRATAFLASH
42 options DEVICE_POLLING
48 #options USB_REQ_DEBUG