1#
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
4# configuration.
5#
6# $FreeBSD: head/sys/mips/conf/BERI_DE4_MDROOT 239709 2012-08-26 09:21:59Z rwatson $
7#
8
9include "BERI_TEMPLATE"
10
11ident BERI_DE4_MDROOT
12
13hints "BERI_DE4.hints" #Default places to look for devices.
14
15#
16# This kernel configuration uses an embedded 8MB memory root file system.
17# Adjust the following path based on local requirements.
18#
19options MD_ROOT # MD is a potential root device
20options MD_ROOT_SIZE=8192
21makeoptions MFS_IMAGE=/local/scratch/rnw24/mdroot.img
22options ROOTDEVNAME=\"ufs:md0\"
23
24device altera_avgen
25device altera_jtag_uart
26device altera_sdcard
27device terasic_de4led
28device terasic_mtl
29
30device isf
31device sc
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
4# configuration.
5#
6# $FreeBSD: head/sys/mips/conf/BERI_DE4_MDROOT 239709 2012-08-26 09:21:59Z rwatson $
7#
8
9include "BERI_TEMPLATE"
10
11ident BERI_DE4_MDROOT
12
13hints "BERI_DE4.hints" #Default places to look for devices.
14
15#
16# This kernel configuration uses an embedded 8MB memory root file system.
17# Adjust the following path based on local requirements.
18#
19options MD_ROOT # MD is a potential root device
20options MD_ROOT_SIZE=8192
21makeoptions MFS_IMAGE=/local/scratch/rnw24/mdroot.img
22options ROOTDEVNAME=\"ufs:md0\"
23
24device altera_avgen
25device altera_jtag_uart
26device altera_sdcard
27device terasic_de4led
28device terasic_mtl
29
30device isf
31device sc