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.
16 # This kernel configuration uses an embedded 8MB memory root file system.
17 # Adjust the following path based on local requirements.
19 options MD_ROOT # MD is a potential root device
20 options MD_ROOT_SIZE=8192
21 options ROOTDEVNAME=\"ufs:md0\"
24 device altera_jtag_uart