sys/mips/conf/GXEMUL

   1 #
   2 # GXEMUL "oldtestmips" sample kernel configuration.
   3 #
   4 # $FreeBSD$
   5 #
   6
   7 ident           GXEMUL
   8
   9 machine         mips mips64eb
  10 cpu             CPU_MIPS4KC
  11
  12 options         HZ=100
  13
  14 makeoptions     ARCH_FLAGS="-march=mips64 -mabi=64"
  15
  16 makeoptions     KERNLOADADDR=0xffffffff80100000
  17
  18 include         "../gxemul/std.gxemul"
  19
  20 hints           "GXEMUL.hints"          #Default places to look for devices.
  21
  22 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
  23
  24 makeoptions     MODULES_OVERRIDE=""
  25
  26 options         DDB
  27 options         KDB
  28
  29 options         SCHED_ULE
  30
  31 options         FFS                     #Berkeley Fast Filesystem
  32
  33 # Debugging for use in -current
  34 #options        DEADLKRES               #Enable the deadlock resolver
  35 options         INVARIANTS              #Enable calls of extra sanity checking
  36 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  37 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  38 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  39
  40 #
  41 # This kernel configuration uses an embedded 8MB memory root file system.
  42 # Adjust the following path based on local requirements.
  43 #
  44 options         MD_ROOT                 # MD is a potential root device
  45 options         MD_ROOT_SIZE=8192
  46 #makeoptions    MFS_IMAGE=/local/scratch/rnw24/mdroot.img
  47 options         ROOTDEVNAME=\"ufs:md0\"
  48
  49 device          gxemul_cons
  50 device          md
  51 device          loop
  52 device          random