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     KERNLOADADDR=0xffffffff80100000
  17
  18 include         "../beri/std.beri"
  19
  20 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
  21
  22 makeoptions     MODULES_OVERRIDE=""
  23
  24 options         DDB
  25 options         KDB
  26 options         ALT_BREAK_TO_DEBUGGER
  27 options         KTRACE
  28
  29 options         CAPABILITY_MODE
  30 options         CAPABILITIES
  31
  32 options         COMPAT_FREEBSD10
  33 options         COMPAT_FREEBSD11
  34 options         COMPAT_FREEBSD12
  35
  36 options         INTRNG
  37 options         SCHED_ULE
  38
  39 options         FFS                     #Berkeley Fast Filesystem
  40
  41 options         INET
  42 options         INET6
  43 options         TCP_HHOOK               # hhook(9) framework for TCP
  44 options         KGSSAPI
  45 options         NFSCL
  46 options         NFSLOCKD
  47 options         NFS_ROOT
  48
  49 # Debugging for use in -current
  50 #options        DEADLKRES               #Enable the deadlock resolver
  51 options         INVARIANTS              #Enable calls of extra sanity checking
  52 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  53 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  54 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  55
  56 device          crypto
  57 device          cryptodev
  58 device          ether
  59 device          geom_map
  60 device          loop
  61 device          md
  62 device          snp