1 # AVILA -- Gateworks Avila XScale board
2 # kernel configuration file for FreeBSD/arm
4 # For more information on this file, please read the handbook section on
5 # 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
23 include "../xscale/ixp425/std.ixp425"
24 # NB: memory mapping is defined in std.avila
25 include "../xscale/ixp425/std.avila"
26 options XSCALE_CACHE_READ_WRITE_ALLOCATE
27 #To statically compile in device wiring instead of /boot/device.hints
28 hints "AVILA.hints" #Default places to look for devices.
29 makeoptions MODULES_OVERRIDE=""
31 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
32 makeoptions CONF_CFLAGS=-mcpu=xscale
35 options DEVICE_POLLING
37 # Debugging for use in -current
40 options DDB #Enable the kernel debugger
41 #options DEADLKRES #Enable the deadlock resolver
42 options INVARIANTS #Enable calls of extra sanity checking
43 options 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
48 options SCHED_4BSD #4BSD scheduler
49 options INET #InterNETworking
50 options FFS #Berkeley Fast Filesystem
51 options SOFTUPDATES #Enable FFS soft updates support
52 options NFSCL #New Network Filesystem Client
53 options NFS_ROOT #NFS usable as /, requires NFSCL
57 options BOOTP_WIRED_TO=npe0
58 #options BOOTP_WIRED_TO=ath0
59 #options BOOTP_WIRED_TO=rl0
62 #options VERBOSE_SYSINIT
64 # Hardware performance counters
73 device ixpwdog # watchdog timer
74 device cfi # flash support
75 device cfid # flash disk support
76 device geom_redboot # redboot fis parser
83 device ixpiic # I2C bus glue
84 device ds1672 # DS1672 on I2C bus
85 device ad7418 # AD7418 on I2C bus
91 device avila_gpio # GPIO pins on J8
94 device avila_ata # Gateworks CF/IDE support
96 device npe # Network Processing Engine
99 device qmgr # Q Manager (required by npe)
100 device mii # NB: required by npe
108 device random # Entropy device
111 device wlan # 802.11 support
112 options IEEE80211_DEBUG
113 options IEEE80211_SUPPORT_TDMA
114 options IEEE80211_SUPPORT_MESH
115 device wlan_wep # 802.11 WEP support
116 device wlan_ccmp # 802.11 CCMP support
117 device wlan_tkip # 802.11 TKIP support
120 device ath # Atheros NICs
121 device ath_pci # Atheros pci/cardbus glue
124 #options ATH_TX99_DIAG
125 device ath_rate_sample # SampleRate tx rate control for ath
140 options AH_SUPPORT_AR5416
149 device scbus # SCSI bus (required for ATA/SCSI)
150 device da # Direct Access (disks)
151 device pass # Passthrough device (direct ATA/SCSI access)