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$
    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

Cache object: f2a0f7ef7cbf38d170c5fe657c92915a

[ 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.

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

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