sys/mips/conf/BERI_TEMPLATE

   1 #
   2 # BERI_TEMPLATE -- a template kernel configuration for the SRI/Cambridge
   3 # "BERI" (Bluespec Extensible RISC Implementation) FPGA soft core CPU.  This
   4 # kernel configuration file will be included by other board-specific files,
   5 # and so contains only BERI features common across all board targets.
   6 #
   7 # $FreeBSD$
   8 #
   9
  10 ident           BERI_TEMPLATE
  11
  12 machine         mips mips64
  13
  14 cpu             CPU_BERI
  15
  16 options         HZ=200
  17
  18 makeoptions     ARCH_FLAGS="-march=mips64 -mabi=64"
  19
  20 makeoptions     KERNLOADADDR=0xffffffff80100000
  21
  22 include         "../beri/std.beri"
  23
  24 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
  25
  26 makeoptions     MODULES_OVERRIDE=""
  27
  28 options         DDB
  29 options         KDB
  30 options         ALT_BREAK_TO_DEBUGGER
  31 options         KTRACE
  32
  33 options         CAPABILITY_MODE
  34 options         CAPABILITIES
  35
  36 options         SCHED_ULE
  37
  38 options         FFS                     #Berkeley Fast Filesystem
  39
  40 options         INET
  41 options         INET6
  42 options         NFSCL
  43 options         NFS_ROOT
  44
  45 # Debugging for use in -current
  46 #options        DEADLKRES               #Enable the deadlock resolver
  47 options         INVARIANTS              #Enable calls of extra sanity checking
  48 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  49 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  50 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  51
  52 device          geom_map
  53
  54 device          md
  55 device          ether
  56 device          loop
  57 device          random
  58 device          snp