2 # BERI_SOCKIT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
3 # RISC Implementation) FPGA soft core, as configured in its Terasic SoCKit
4 # reference configuration. This kernel configration must be further
5 # specialized to include a root filesystem specification.
10 include "BERI_TEMPLATE"
14 options ROOTDEVNAME=\"ufs:vtbd0\"
17 device altera_jtag_uart
25 options FDT_DTB_STATIC
26 makeoptions FDT_DTS_FILE=beripad-sockit.dts