sys/arm/conf/RPI-B

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