2 # BERI_DE4 -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC
3 # Implementation) FPGA soft core, as configured in its Terasic DE-4 reference
9 include "BERI_TEMPLATE"
13 hints "BERI_DE4.hints" #Default places to look for devices.
15 options ROOTDEVNAME=\"ufs:altera_sdcard0\"
18 device altera_jtag_uart