1 # RPI-B -- Custom configuration for the Raspberry Pi
3 # For more information on this file, please read the handbook section on
4 # Kernel Configuration Files:
6 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
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
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
22 include "../broadcom/bcm2835/std.rpi"
24 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
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 GEOM_PART_BSD # BSD partition scheme
36 options GEOM_PART_MBR # MBR partition scheme
37 options TMPFS # Efficient memory filesystem
38 options MSDOSFS # MSDOS Filesystem
41 options NFSCL # Network Filesystem Client
43 #options NFS_ROOT # NFS usable as /, requires NFSCLIENT
44 #options BOOTP_NFSROOT
48 #options BOOTP_WIRED_TO=ue0
50 options PSEUDOFS # Pseudo-filesystem framework
51 options COMPAT_43 # Compatible with BSD 4.3 [KEEP THIS!]
52 options SCSI_DELAY=5000 # Delay (in ms) before probing SCSI
53 options KTRACE # ktrace(1) support
54 options SYSVSHM # SYSV-style shared memory
55 options SYSVMSG # SYSV-style message queues
56 options SYSVSEM # SYSV-style semaphores
57 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
58 options KBD_INSTALL_CDEV # install a CDEV entry in /dev
59 #options ROOTDEVNAME=\"ufs:mmcsd0s2\"
71 # Comment following lines for boot console on serial port
74 options SC_DFLT_FONT # compile font in
75 makeoptions SC_DFLT_FONT=cp437
91 options DDB # Enable the kernel debugger
92 options INVARIANTS # Enable calls of extra sanity checking
93 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
96 device random # Entropy device
101 device dwcotg # DWC OTG controller
103 # USB storage support
108 # USB ethernet support
117 # Flattened Device Tree
119 # Note: DTB is normally loaded and modified by RPi boot loader, then
120 # handed to kernel via U-Boot and ubldr.
121 #options FDT_DTB_STATIC
122 makeoptions FDT_DTS_FILE=rpi.dts
124 options VFP # vfp/neon