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/BERI_TEMPLATE

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/10.1/sys/mips/conf/BERI_TEMPLATE 257527 2013-11-01 21:15:39Z brooks $
    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         KGSSAPI
   43 options         NFSCL
   44 options         NFSLOCKD
   45 options         NFS_ROOT
   46 
   47 # Debugging for use in -current
   48 #options        DEADLKRES               #Enable the deadlock resolver
   49 options         INVARIANTS              #Enable calls of extra sanity checking
   50 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
   51 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
   52 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
   53 
   54 device          crypto
   55 device          cryptodev
   56 device          ether
   57 device          geom_map
   58 device          loop
   59 device          md
   60 device          random
   61 device          snp

Cache object: ed05aee7485619cd61a7f7ef68613103


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