fda16d46fe
This allow us to boot FreeBSD kernel (using uImage encapsulation) directly from U-boot using 'bootm' command or by Android fastboot loader. For now, kernel uImage must be marked as Linux, but we can add support for FreeBSD into U-Boot later.
158 lines
4.4 KiB
Plaintext
158 lines
4.4 KiB
Plaintext
#
|
|
# Kernel configuration for NVIDIA Tegra124 based boards.
|
|
#
|
|
# 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$
|
|
|
|
include "std.armv6"
|
|
include "../nvidia/tegra124/std.tegra124"
|
|
|
|
ident TEGRA124
|
|
|
|
options HZ=100 # Scheduling quantum is 10 milliseconds.
|
|
options SCHED_ULE # ULE scheduler
|
|
options PLATFORM # Platform based SoC
|
|
options PLATFORM_SMP
|
|
options SMP # Enable multiple cores
|
|
options LINUX_BOOT_ABI
|
|
|
|
# Debugging for use in -current
|
|
makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
|
|
options BREAK_TO_DEBUGGER
|
|
options ALT_BREAK_TO_DEBUGGER
|
|
#options VERBOSE_SYSINIT # Enable verbose sysinit messages
|
|
options KDB # Enable kernel debugger support
|
|
# For minimum debugger support (stable branch) use:
|
|
#options KDB_TRACE # Print a stack trace for a panic
|
|
# For full debugger support use this instead:
|
|
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
|
|
options WITNESS # Enable checks to detect deadlocks and cycles
|
|
options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
|
|
|
|
# Interrupt controller
|
|
device gic
|
|
|
|
# ARM Generic Timer
|
|
device generic_timer
|
|
|
|
# EXT_RESOURCES pseudo devices
|
|
options EXT_RESOURCES
|
|
device clk
|
|
device phy
|
|
device hwreset
|
|
device regulator
|
|
|
|
# Pseudo devices.
|
|
device loop # Network loopback
|
|
device random # Entropy device
|
|
device vlan # 802.1Q VLAN support
|
|
#device tun # Packet tunnel.
|
|
device md # Memory "disks"
|
|
#device gif # IPv6 and IPv4 tunneling
|
|
#device firmware # firmware assist module
|
|
device ether # Ethernet support
|
|
device miibus # Required for ethernet
|
|
device bpf # Berkeley packet filter (required for DHCP)
|
|
|
|
|
|
# General-purpose input/output
|
|
device gpio
|
|
#device gpioled
|
|
|
|
# I2C support
|
|
device iic
|
|
device iicbus
|
|
device icee
|
|
|
|
# Serial (COM) ports
|
|
device uart # Multi-uart driver
|
|
device uart_ns8250
|
|
|
|
# MMC/SD/SDIO Card slot support
|
|
device sdhci # SD controller
|
|
device mmc # SD/MMC protocol
|
|
device mmcsd # SDCard disk device
|
|
|
|
# ATA controllers
|
|
device ahci # AHCI-compatible SATA controllers
|
|
|
|
# SCSI peripherals
|
|
device scbus # SCSI bus (required for ATA/SCSI)
|
|
device da # Direct Access (disks)
|
|
device cd # CD
|
|
device pass # Passthrough device (direct ATA/SCSI access)
|
|
|
|
# USB support
|
|
options USB_HOST_ALIGN=64 # Align usb buffers to cache line size.
|
|
options USB_DEBUG # enable debug msgs
|
|
device ehci # EHCI USB interface
|
|
device usb # USB Bus (required)
|
|
device umass # Disks/Mass storage - Requires scbus and da
|
|
device uhid # "Human Interface Devices"
|
|
#device u3g # USB modems
|
|
device ukbd # Allow keyboard like HIDs to control console
|
|
device ums # USB mouse
|
|
|
|
# USB Ethernet, requires miibus
|
|
#device aue # ADMtek USB Ethernet
|
|
#device axe # ASIX Electronics USB Ethernet
|
|
#device cdce # Generic USB over Ethernet
|
|
#device cue # CATC USB Ethernet
|
|
#device kue # Kawasaki LSI USB Ethernet
|
|
#device rue # RealTek RTL8150 USB Ethernet
|
|
#device udav # Davicom DM9601E USB
|
|
|
|
# USB Wireless
|
|
#device rum # Ralink Technology RT2501USB wireless NICs
|
|
|
|
# Wireless NIC cards
|
|
#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 wlan_amrr # AMRR transmit rate control algorithm
|
|
|
|
# PCI
|
|
options NEW_PCIB
|
|
device pci
|
|
|
|
# PCI Ethernet NICs that use the common MII bus controller code.
|
|
# NOTE: Be sure to keep the 'device miibus' line in order to use these NICs!
|
|
device re # RealTek 8139C+/8169/8169S/8110S
|
|
|
|
# DRM2
|
|
#device fbd
|
|
#device vt
|
|
#device splash
|
|
#device kbdmux
|
|
#device drm2
|
|
|
|
# Sound
|
|
#device sound
|
|
#device snd_hda
|
|
|
|
# Flattened Device Tree
|
|
options FDT # Configure using FDT/DTB data
|
|
device fdt_pinctrl
|
|
|
|
# SoC-specific devices
|
|
|
|
#device hwpmc
|
|
#options HWPMC_HOOKS
|