2 # Kernel configuration for NVIDIA Tegra124 based boards.
4 # For more information on this file, please read the config(5) manual page,
5 # and/or the handbook section on Kernel Configuration Files:
7 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
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
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
22 include "../nvidia/tegra124/std.tegra124"
26 options HZ=100 # Scheduling quantum is 10 milliseconds.
27 options SCHED_ULE # ULE scheduler
28 options PLATFORM # Platform based SoC
30 options SMP # Enable multiple cores
31 options LINUX_BOOT_ABI
33 # Debugging for use in -current
34 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
35 options BREAK_TO_DEBUGGER
36 options ALT_BREAK_TO_DEBUGGER
37 #options VERBOSE_SYSINIT # Enable verbose sysinit messages
38 options KDB # Enable kernel debugger support
39 # For minimum debugger support (stable branch) use:
40 #options KDB_TRACE # Print a stack trace for a panic
41 # For full debugger support use this instead:
42 options DDB # Enable the kernel debugger
43 options INVARIANTS # Enable calls of extra sanity checking
44 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
45 options WITNESS # Enable checks to detect deadlocks and cycles
46 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
48 # Interrupt controller
54 # EXT_RESOURCES pseudo devices
62 device loop # Network loopback
63 device random # Entropy device
64 device vlan # 802.1Q VLAN support
65 #device tun # Packet tunnel.
66 device md # Memory "disks"
67 #device gif # IPv6 and IPv4 tunneling
68 #device firmware # firmware assist module
69 device ether # Ethernet support
70 device miibus # Required for ethernet
71 device bpf # Berkeley packet filter (required for DHCP)
74 # General-purpose input/output
84 device uart # Multi-uart driver
87 # MMC/SD/SDIO Card slot support
88 device sdhci # SD controller
89 device mmc # SD/MMC protocol
90 device mmcsd # SDCard disk device
93 device ahci # AHCI-compatible SATA controllers
96 device scbus # SCSI bus (required for ATA/SCSI)
97 device da # Direct Access (disks)
99 device pass # Passthrough device (direct ATA/SCSI access)
102 options USB_HOST_ALIGN=64 # Align usb buffers to cache line size.
103 options USB_DEBUG # enable debug msgs
104 device ehci # EHCI USB interface
105 device usb # USB Bus (required)
106 device umass # Disks/Mass storage - Requires scbus and da
107 device uhid # "Human Interface Devices"
108 #device u3g # USB modems
109 device ukbd # Allow keyboard like HIDs to control console
110 device ums # USB mouse
112 # USB Ethernet, requires miibus
113 #device aue # ADMtek USB Ethernet
114 #device axe # ASIX Electronics USB Ethernet
115 #device cdce # Generic USB over Ethernet
116 #device cue # CATC USB Ethernet
117 #device kue # Kawasaki LSI USB Ethernet
118 #device rue # RealTek RTL8150 USB Ethernet
119 #device udav # Davicom DM9601E USB
122 #device rum # Ralink Technology RT2501USB wireless NICs
125 #device wlan # 802.11 support
126 #device wlan_wep # 802.11 WEP support
127 #device wlan_ccmp # 802.11 CCMP support
128 #device wlan_tkip # 802.11 TKIP support
129 #device wlan_amrr # AMRR transmit rate control algorithm
135 # PCI Ethernet NICs that use the common MII bus controller code.
136 # NOTE: Be sure to keep the 'device miibus' line in order to use these NICs!
137 device re # RealTek 8139C+/8169/8169S/8110S
150 # Flattened Device Tree
151 options FDT # Configure using FDT/DTB data
154 # SoC-specific devices