freebsd-dev/sys/arm/conf/RK3188
Ian Lepore 3a86bcdd17 Remove HZ=<various> from all armv6 configs, put HZ=1000 in std.armv6.
All armv6 processors are plenty fast enough for HZ=1000.

No changes are made for older arm systems, because some chips are a bit
wimpy for 1000 while others do fine, so it has to be set on a per-config
basis.
2016-07-09 21:14:59 +00:00

93 lines
2.1 KiB
Plaintext

#
# Kernel configuration for Rockchip RK3188 systems.
#
# For more information on this file, please read the config(5) manual page,
# and/or the handbook section on Kernel Configuration Files:
#
# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
#
# The handbook is also available locally in /usr/share/doc/handbook
# if you've installed the doc distribution, otherwise always see the
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
# latest information.
#
# An exhaustive list of options and more detailed explanations of the
# device lines is also present in the ../../conf/NOTES and NOTES files.
# If you are in doubt as to the purpose or necessity of a line, check first
# in NOTES.
#
# $FreeBSD$
ident RK3188
include "std.armv6"
include "../rockchip/std.rk30xx"
options SCHED_ULE # ULE scheduler
options SMP # Enable multiple cores
# Root mount from MMC/SD card
options ROOTDEVNAME=\"ufs:/dev/mmcsd0\"
# Interrupt controller
device gic
options INTRNG
# ARM MPCore timer
device mpcore_timer
# MMC/SD/SDIO Card slot support
device mmc # mmc/sd bus
device mmcsd # mmc/sd flash cards
device dwmmc
# Console and misc
device uart
device uart_snps
device pty
device snp
device md
device random # Entropy device
# I2C support
#device iicbus
#device iic
# GPIO
device gpio
device scbus # SCSI bus (required for ATA/SCSI)
device da # Direct Access (disks)
device pass
# USB support
options USB_HOST_ALIGN=32 # Align usb buffers to cache line size.
device usb
device dwcotg # DWC OTG controller
device umass
# Ethernet
device loop
device ether
device mii
device bpf
# Wireless NIC cards
options IEEE80211_DEBUG
options IEEE80211_AMPDU_AGE
options IEEE80211_SUPPORT_MESH
options IEEE80211_SUPPORT_TDMA
device wlan # 802.11 support
device wlan_wep # 802.11 WEP support
device wlan_ccmp # 802.11 CCMP support
device wlan_tkip # 802.11 TKIP support
device firmware # Used by the above
# USB Ethernet support, requires miibus
device miibus
device udav
# Flattened Device Tree
options FDT # Configure using FDT/DTB data