1# 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. 6# 7# 8 9include "std.BERI" 10 11ident BERI_SOCKIT 12 13options ROOTDEVNAME=\"ufs:vtbd0\" 14 15device altera_pio 16device altera_jtag_uart 17 18device virtio 19device virtio_blk 20device vtnet 21device virtio_mmio 22 23options FDT 24options FDT_DTB_STATIC 25makeoptions FDT_DTS_FILE=beripad-sockit.dts 26