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/arm/conf/RPI-B

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 # RPI-B -- Custom configuration for the Raspberry Pi
    2 #
    3 # For more information on this file, please read the handbook section on
    4 # Kernel Configuration Files:
    5 #
    6 #    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
    7 #
    8 # The handbook is also available locally in /usr/share/doc/handbook
    9 # if you've installed the doc distribution, otherwise always see the
   10 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
   11 # latest information.
   12 #
   13 # An exhaustive list of options and more detailed explanations of the
   14 # device lines is also present in the ../../conf/NOTES and NOTES files. 
   15 # If you are in doubt as to the purpose or necessity of a line, check first 
   16 # in NOTES.
   17 #
   18 # $FreeBSD: releng/10.0/sys/arm/conf/RPI-B 254461 2013-08-17 18:51:38Z andrew $
   19 
   20 ident           RPI-B
   21 
   22 include         "../broadcom/bcm2835/std.rpi"
   23 
   24 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
   25 options         HZ=100
   26 
   27 options         SCHED_4BSD              #4BSD scheduler
   28 options         INET                    #InterNETworking
   29 options         INET6                   #IPv6 communications protocols
   30 options         SCTP                    #Stream Control Transmission Protocol
   31 options         FFS                     #Berkeley Fast Filesystem
   32 options         SOFTUPDATES             #Enable FFS soft updates support
   33 options         UFS_ACL                 #Support for access control lists
   34 options         UFS_DIRHASH             #Improve performance on big directories
   35 options         MSDOSFS                 #MSDOS Filesystem
   36 device          snp
   37 
   38 options         NFSCL                   #Network Filesystem Client
   39 
   40 #options        NFS_ROOT                #NFS usable as /, requires NFSCLIENT
   41 #options        BOOTP_NFSROOT
   42 #options        BOOTP_COMPAT
   43 #options        BOOTP
   44 #options        BOOTP_NFSV3
   45 #options        BOOTP_WIRED_TO=ue0
   46 
   47 options         PSEUDOFS                #Pseudo-filesystem framework
   48 options         COMPAT_43               #Compatible with BSD 4.3 [KEEP THIS!]
   49 options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
   50 options         KTRACE                  #ktrace(1) support
   51 options         SYSVSHM                 #SYSV-style shared memory
   52 options         SYSVMSG                 #SYSV-style message queues
   53 options         SYSVSEM                 #SYSV-style semaphores
   54 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
   55 options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
   56 #options         ROOTDEVNAME=\"ufs:mmcsd0s2\"
   57 
   58 options         PREEMPTION
   59 
   60 device          bpf
   61 device          loop
   62 device          ether
   63 device          uart
   64 device          pl011
   65 
   66 device          pty
   67 
   68 # Comment following lines for boot console on serial port
   69 device          sc
   70 device          kbdmux
   71 options         SC_DFLT_FONT    # compile font in
   72 makeoptions     SC_DFLT_FONT=cp437
   73 device          ukbd
   74 
   75 device          sdhci
   76 device          mmc
   77 device          mmcsd
   78 
   79 device          gpio
   80 device          gpioled
   81 
   82 options         KDB
   83 options         DDB                     #Enable the kernel debugger
   84 options         INVARIANTS              #Enable calls of extra sanity checking
   85 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
   86 
   87 device          md
   88 device          random          # Entropy device
   89 
   90 # USB support
   91 device          usb
   92 options         USB_DEBUG
   93 device          dwcotg          #DWC OTG controller
   94 
   95 # USB storage support
   96 device          scbus
   97 device          da
   98 device          umass
   99 
  100 # USB ethernet support
  101 device          smcphy
  102 device          mii
  103 device          smsc
  104 
  105 # Flattened Device Tree
  106 options         FDT
  107 # Note:  DTB is normally loaded and modified by RPi boot loader, then
  108 # handed to kernel via U-Boot and ubldr.
  109 #options         FDT_DTB_STATIC
  110 makeoptions     FDT_DTS_FILE=rpi.dts
  111 
  112 options         VFP             # vfp/neon

Cache object: ab9aee476816863cf36dd8d62ce4ec1a


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