sys/mips/conf/std.BERI

   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 machine         mips mips64
  11
  12 cpu             CPU_BERI
  13
  14 options         HZ=200
  15
  16 makeoptions     ARCH_FLAGS="-march=mips64 -mabi=64"
  17
  18 makeoptions     KERNLOADADDR=0xffffffff80100000
  19
  20 include         "../beri/std.beri"
  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 options         ALT_BREAK_TO_DEBUGGER
  29 options         KTRACE
  30
  31 options         CAPABILITY_MODE
  32 options         CAPABILITIES
  33
  34 options         COMPAT_FREEBSD10
  35 options         COMPAT_FREEBSD11
  36
  37 options         INTRNG
  38 options         SCHED_ULE
  39
  40 options         FFS                     #Berkeley Fast Filesystem
  41
  42 options         INET
  43 options         INET6
  44 options         TCP_HHOOK               # hhook(9) framework for TCP
  45 options         KGSSAPI
  46 options         NFSCL
  47 options         NFSLOCKD
  48 options         NFS_ROOT
  49
  50 # Debugging for use in -current
  51 #options        DEADLKRES               #Enable the deadlock resolver
  52 options         INVARIANTS              #Enable calls of extra sanity checking
  53 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  54 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  55 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  56
  57 device          crypto
  58 device          cryptodev
  59 device          ether
  60 device          geom_map
  61 device          loop
  62 device          md
  63 device          random
  64 device          snp