The Design and Implementation of the FreeBSD Operating System, Second Edition
Now available: The Design and Implementation of the FreeBSD Operating System (Second Edition)


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]

FreeBSD/Linux Kernel Cross Reference
sys/mips/conf/std.BERI

Version: -  FREEBSD  -  FREEBSD-13-STABLE  -  FREEBSD-13-0  -  FREEBSD-12-STABLE  -  FREEBSD-12-0  -  FREEBSD-11-STABLE  -  FREEBSD-11-0  -  FREEBSD-10-STABLE  -  FREEBSD-10-0  -  FREEBSD-9-STABLE  -  FREEBSD-9-0  -  FREEBSD-8-STABLE  -  FREEBSD-8-0  -  FREEBSD-7-STABLE  -  FREEBSD-7-0  -  FREEBSD-6-STABLE  -  FREEBSD-6-0  -  FREEBSD-5-STABLE  -  FREEBSD-5-0  -  FREEBSD-4-STABLE  -  FREEBSD-3-STABLE  -  FREEBSD22  -  l41  -  OPENBSD  -  linux-2.6  -  MK84  -  PLAN9  -  xnu-8792 
SearchContext: -  none  -  3  -  10 

    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: releng/12.0/sys/mips/conf/std.BERI 317095 2017-04-18 17:20:03Z br $
    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

Cache object: a7dea889cc1024af1eeabfb2039cf90f


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]


This page is part of the FreeBSD/Linux Linux Kernel Cross-Reference, and was automatically generated using a modified version of the LXR engine.