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-12-STABLE  -  FREEBSD-12-0  -  FREEBSD-11-STABLE  -  FREEBSD-11-2  -  FREEBSD-11-1  -  FREEBSD-11-0  -  FREEBSD-10-STABLE  -  FREEBSD-10-4  -  FREEBSD-10-3  -  FREEBSD-10-2  -  FREEBSD-10-1  -  FREEBSD-10-0  -  FREEBSD-9-STABLE  -  FREEBSD-9-3  -  FREEBSD-9-2  -  FREEBSD-9-1  -  FREEBSD-9-0  -  FREEBSD-8-STABLE  -  FREEBSD-8-4  -  FREEBSD-8-3  -  FREEBSD-8-2  -  FREEBSD-8-1  -  FREEBSD-8-0  -  FREEBSD-7-STABLE  -  FREEBSD-7-4  -  FREEBSD-7-3  -  FREEBSD-7-2  -  FREEBSD-7-1  -  FREEBSD-7-0  -  FREEBSD-6-STABLE  -  FREEBSD-6-4  -  FREEBSD-6-3  -  FREEBSD-6-2  -  FREEBSD-6-1  -  FREEBSD-6-0  -  FREEBSD-5-STABLE  -  FREEBSD-5-5  -  FREEBSD-5-4  -  FREEBSD-5-3  -  FREEBSD-5-2  -  FREEBSD-5-1  -  FREEBSD-5-0  -  FREEBSD-4-STABLE  -  FREEBSD-3-STABLE  -  FREEBSD22  -  linux-2.6  -  linux-2.4.22  -  MK83  -  MK84  -  PLAN9  -  DFBSD  -  NETBSD  -  NETBSD5  -  NETBSD4  -  NETBSD3  -  NETBSD20  -  OPENBSD  -  xnu-517  -  xnu-792  -  xnu-792.6.70  -  xnu-1228  -  xnu-1456.1.26  -  xnu-1699.24.8  -  xnu-2050.18.24  -  OPENSOLARIS  -  minix-3-1-1 
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/11.2/sys/mips/conf/BERI_TEMPLATE 256912 2013-10-22 15:45:31Z 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: ecaaf758032839421a09f0f26d46871c


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