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-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: head/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: bb0fa8ed081a5a2925b95a38ec80c0c5


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