]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/mips/conf/BERI_DE4_MDROOT
amd64: use register macros for gdb_cpu_getreg()
[FreeBSD/FreeBSD.git] / sys / mips / conf / BERI_DE4_MDROOT
1 #
2 # BERI_DE4_MDROOT -- Kernel for the SRI/Cambridge "BERI" (Bluespec Extensible
3 # RISC # Implementation) FPGA soft core, as configured in its Terasic DE-4
4 # reference configuration.
5 #
6 # $FreeBSD$
7 #
8
9 #NO_UNIVERSE
10
11 include "BERI_DE4_BASE"
12
13 ident           BERI_DE4_MDROOT
14
15 #
16 # This kernel configuration uses an embedded 8MB memory root file system.
17 # Adjust the following path based on local requirements.
18 #
19 options         MD_ROOT                 # MD is a potential root device
20 options         MD_ROOT_SIZE=26112      # 25.5MB
21 options         ROOTDEVNAME=\"ufs:md0\"