1a9643ea8Slogwang# 2a9643ea8Slogwang# BERI_SOCKIT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible 3a9643ea8Slogwang# RISC Implementation) FPGA soft core, as configured in its Terasic SoCKit 4a9643ea8Slogwang# reference configuration. This kernel configration must be further 5*22ce4affSfengbojiang# specialized to include a root filesystem specification. 6a9643ea8Slogwang# 7a9643ea8Slogwang# $FreeBSD$ 8a9643ea8Slogwang# 9a9643ea8Slogwang 10*22ce4affSfengbojianginclude "std.BERI" 11a9643ea8Slogwang 12a9643ea8Slogwangident BERI_SOCKIT 13a9643ea8Slogwang 14a9643ea8Slogwangoptions ROOTDEVNAME=\"ufs:vtbd0\" 15a9643ea8Slogwang 16a9643ea8Slogwangdevice altera_pio 17a9643ea8Slogwangdevice altera_jtag_uart 18a9643ea8Slogwang 19a9643ea8Slogwangdevice virtio 20a9643ea8Slogwangdevice virtio_blk 21a9643ea8Slogwangdevice vtnet 22a9643ea8Slogwangdevice virtio_mmio 23a9643ea8Slogwang 24a9643ea8Slogwangoptions FDT 25a9643ea8Slogwangoptions FDT_DTB_STATIC 26a9643ea8Slogwangmakeoptions FDT_DTS_FILE=beripad-sockit.dts 27