1#
2# RPI-B -- Custom configuration for the Raspberry Pi
3#
4# For more information on this file, please read the config(5) manual page,
5# and/or the handbook section on Kernel Configuration Files:
6#
7# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8#
9# The handbook is also available locally in /usr/share/doc/handbook
10# if you've installed the doc distribution, otherwise always see the
11# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12# latest information.
13#
14# An exhaustive list of options and more detailed explanations of the
15# device lines is also present in the ../../conf/NOTES and NOTES files.
16# If you are in doubt as to the purpose or necessity of a line, check first
17# in NOTES.
18#
| 1#
2# RPI-B -- Custom configuration for the Raspberry Pi
3#
4# For more information on this file, please read the config(5) manual page,
5# and/or the handbook section on Kernel Configuration Files:
6#
7# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8#
9# The handbook is also available locally in /usr/share/doc/handbook
10# if you've installed the doc distribution, otherwise always see the
11# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12# latest information.
13#
14# An exhaustive list of options and more detailed explanations of the
15# device lines is also present in the ../../conf/NOTES and NOTES files.
16# If you are in doubt as to the purpose or necessity of a line, check first
17# in NOTES.
18#
|
19# $FreeBSD: head/sys/arm/conf/RPI-B 297580 2016-04-05 13:37:03Z skra $
| 19# $FreeBSD: head/sys/arm/conf/RPI-B 298068 2016-04-15 16:05:41Z andrew $
|
20
21ident RPI-B
22
23include "std.armv6"
24include "../broadcom/bcm2835/std.rpi"
25include "../broadcom/bcm2835/std.bcm2835"
26
| 20
21ident RPI-B
22
23include "std.armv6"
24include "../broadcom/bcm2835/std.rpi"
25include "../broadcom/bcm2835/std.bcm2835"
26
|
27options ARM_INTRNG
| 27options INTRNG
|
28
29options HZ=100
30options SCHED_4BSD # 4BSD scheduler
31options PLATFORM
32
33# Debugging for use in -current
34makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
35options ALT_BREAK_TO_DEBUGGER
36#options VERBOSE_SYSINIT # Enable verbose sysinit messages
37options KDB # Enable kernel debugger support
38# For minimum debugger support (stable branch) use:
39#options KDB_TRACE # Print a stack trace for a panic
40# For full debugger support use this instead:
41options DDB # Enable the kernel debugger
42options INVARIANTS # Enable calls of extra sanity checking
43options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
44#options WITNESS # Enable checks to detect deadlocks and cycles
45#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
46#options DIAGNOSTIC
47
48# NFS root from boopt/dhcp
49#options BOOTP
50#options BOOTP_NFSROOT
51#options BOOTP_COMPAT
52#options BOOTP_NFSV3
53#options BOOTP_WIRED_TO=ue0
54
55#options ROOTDEVNAME=\"ufs:mmcsd0s2\"
56
57device bpf
58device loop
59device ether
60device uart
61device pty
62device snp
63device pl011
64
65# Comment following lines for boot console on serial port
66device vt
67device kbdmux
68device ukbd
69
70device sdhci
71device mmc
72device mmcsd
73
74device gpio
75device gpioled
76
77# I2C
78device iic
79device iicbus
80device bcm2835_bsc
81
82device md
83device random # Entropy device
84
85# USB support
86device usb
87options USB_DEBUG
88device dwcotg # DWC OTG controller
89
90# USB storage support
91device scbus
92device da
93device umass
94
95# USB ethernet support
96device smcphy
97device mii
98device smsc
99
100# SPI
101device spibus
102device bcm2835_spi
103
104device vchiq
105device sound
106
107# Flattened Device Tree
108options FDT # Configure using FDT/DTB data
109# Note: DTB is normally loaded and modified by RPi boot loader, then
110# handed to kernel via U-Boot and ubldr.
111#options FDT_DTB_STATIC
112#makeoptions FDT_DTS_FILE=rpi.dts
113makeoptions MODULES_EXTRA=dtb/rpi
| 28
29options HZ=100
30options SCHED_4BSD # 4BSD scheduler
31options PLATFORM
32
33# Debugging for use in -current
34makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
35options ALT_BREAK_TO_DEBUGGER
36#options VERBOSE_SYSINIT # Enable verbose sysinit messages
37options KDB # Enable kernel debugger support
38# For minimum debugger support (stable branch) use:
39#options KDB_TRACE # Print a stack trace for a panic
40# For full debugger support use this instead:
41options DDB # Enable the kernel debugger
42options INVARIANTS # Enable calls of extra sanity checking
43options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
44#options WITNESS # Enable checks to detect deadlocks and cycles
45#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
46#options DIAGNOSTIC
47
48# NFS root from boopt/dhcp
49#options BOOTP
50#options BOOTP_NFSROOT
51#options BOOTP_COMPAT
52#options BOOTP_NFSV3
53#options BOOTP_WIRED_TO=ue0
54
55#options ROOTDEVNAME=\"ufs:mmcsd0s2\"
56
57device bpf
58device loop
59device ether
60device uart
61device pty
62device snp
63device pl011
64
65# Comment following lines for boot console on serial port
66device vt
67device kbdmux
68device ukbd
69
70device sdhci
71device mmc
72device mmcsd
73
74device gpio
75device gpioled
76
77# I2C
78device iic
79device iicbus
80device bcm2835_bsc
81
82device md
83device random # Entropy device
84
85# USB support
86device usb
87options USB_DEBUG
88device dwcotg # DWC OTG controller
89
90# USB storage support
91device scbus
92device da
93device umass
94
95# USB ethernet support
96device smcphy
97device mii
98device smsc
99
100# SPI
101device spibus
102device bcm2835_spi
103
104device vchiq
105device sound
106
107# Flattened Device Tree
108options FDT # Configure using FDT/DTB data
109# Note: DTB is normally loaded and modified by RPi boot loader, then
110# handed to kernel via U-Boot and ubldr.
111#options FDT_DTB_STATIC
112#makeoptions FDT_DTS_FILE=rpi.dts
113makeoptions MODULES_EXTRA=dtb/rpi
|