Index: head/sys/mips/conf/BERI_DE4_MDROOT =================================================================== --- head/sys/mips/conf/BERI_DE4_MDROOT (revision 240138) +++ head/sys/mips/conf/BERI_DE4_MDROOT (revision 240139) @@ -1,31 +1,30 @@ # # BERI_DE4 -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC # Implementation) FPGA soft core, as configured in its Terasic DE-4 reference # configuration. # # $FreeBSD$ # include "BERI_TEMPLATE" ident BERI_DE4_MDROOT hints "BERI_DE4.hints" #Default places to look for devices. # # This kernel configuration uses an embedded 8MB memory root file system. # Adjust the following path based on local requirements. # options MD_ROOT # MD is a potential root device options MD_ROOT_SIZE=8192 -makeoptions MFS_IMAGE=/local/scratch/rnw24/mdroot.img options ROOTDEVNAME=\"ufs:md0\" device altera_avgen device altera_jtag_uart device altera_sdcard device terasic_de4led device terasic_mtl device isf device sc Index: head/sys/mips/conf/BERI_SIM_MDROOT =================================================================== --- head/sys/mips/conf/BERI_SIM_MDROOT (revision 240138) +++ head/sys/mips/conf/BERI_SIM_MDROOT (revision 240139) @@ -1,25 +1,24 @@ # # BERI_SIM -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible RISC # Implementation) FPGA soft core, as configured for simulation. # # $FreeBSD$ # include "BERI_TEMPLATE" ident BERI_SIM_MDROOT hints "BERI_SIM.hints" #Default places to look for devices. # # This kernel configuration uses an embedded 8MB memory root file system. # Adjust the following path based on local requirements. # options MD_ROOT # MD is a potential root device options MD_ROOT_SIZE=8192 -makeoptions MFS_IMAGE=/local/scratch/rnw24/mdroot.img options ROOTDEVNAME=\"ufs:md0\" device altera_avgen device altera_jtag_uart device altera_sdcard