ident           RPI-B

include         "../broadcom/bcm2835/std.rpi"

makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
options         HZ=100

options         SCHED_4BSD              #4BSD scheduler
options         INET                    #InterNETworking
options         INET6                   #IPv6 communications protocols
options         SCTP                    #Stream Control Transmission Protocol
options         FFS                     #Berkeley Fast Filesystem
options         SOFTUPDATES             #Enable FFS soft updates support
options         UFS_ACL                 #Support for access control lists
options         UFS_DIRHASH             #Improve performance on big directories
options         PSEUDOFS                #Pseudo-filesystem framework
options         COMPAT_43               #Compatible with BSD 4.3 [KEEP THIS!]
options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
options         KTRACE                  #ktrace(1) support
options         SYSVSHM                 #SYSV-style shared memory
options         SYSVMSG                 #SYSV-style message queues
options         SYSVSEM                 #SYSV-style semaphores
options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev

options         PREEMPTION

device          bpf
device          loop
device          ether
device          uart
device          pl011

device          pty

# Comment following lines for boot console on serial port
device          sc
device          kbdmux
options         SC_DFLT_FONT    # compile font in
makeoptions     SC_DFLT_FONT=cp437
device          ukbd

device          sdhci
device          mmc
device          mmcsd

device          gpio
device          gpioled

options         KDB
options         DDB                     #Enable the kernel debugger
options         INVARIANTS              #Enable calls of extra sanity checking
options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS

device          md
device          random          # Entropy device

# USB support
device          usb
options         USB_DEBUG
device          dwcotg          #DWC OTG controller

# USB storage support
device          scbus
device          da
device          umass

# USB ethernet support
device          smcphy

device          mii
device          smsc

# Flattened Device Tree
options         FDT
# Note:  DTB is normally loaded and modified by RPi boot loader, then
# handed to kernel via U-Boot and ubldr.
#options         FDT_DTB_STATIC
makeoptions     FDT_DTS_FILE=rpi.dts

options         VFP             # vfp/neon