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 #options ARM_USE_SMALL_ALLOC
28 #To statically compile in device wiring instead of /boot/device.hints
29 hints "AVILA.hints" #Default places to look for devices.
30 makeoptions MODULES_OVERRIDE=""
32 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
33 makeoptions CONF_CFLAGS=-mcpu=xscale
36 options DEVICE_POLLING
38 # Debugging for use in -current
41 options DDB #Enable the kernel debugger
42 #options DEADLKRES #Enable the deadlock resolver
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
49 options SCHED_4BSD #4BSD scheduler
50 options INET #InterNETworking
51 options FFS #Berkeley Fast Filesystem
52 options SOFTUPDATES #Enable FFS soft updates support
53 options NFSCL #New Network Filesystem Client
54 options NFS_ROOT #NFS usable as /, requires NFSCL
58 options BOOTP_WIRED_TO=npe0
59 #options BOOTP_WIRED_TO=ath0
60 #options BOOTP_WIRED_TO=rl0
63 #options VERBOSE_SYSINIT
65 # Hardware performance counters
74 device ixpwdog # watchdog timer
75 device cfi # flash support
76 device cfid # flash disk support
77 device geom_redboot # redboot fis parser
84 device ixpiic # I2C bus glue
85 device ds1672 # DS1672 on I2C bus
86 device ad7418 # AD7418 on I2C bus
92 device avila_gpio # GPIO pins on J8
95 device avila_ata # Gateworks CF/IDE support
97 device npe # Network Processing Engine
100 device qmgr # Q Manager (required by npe)
101 device mii # NB: required by npe
109 device random # Entropy device
112 device wlan # 802.11 support
113 options IEEE80211_DEBUG
114 options IEEE80211_SUPPORT_TDMA
115 options IEEE80211_SUPPORT_MESH
116 device wlan_wep # 802.11 WEP support
117 device wlan_ccmp # 802.11 CCMP support
118 device wlan_tkip # 802.11 TKIP support
121 device ath # Atheros NICs
122 device ath_pci # Atheros pci/cardbus glue
125 #options ATH_TX99_DIAG
126 device ath_rate_sample # SampleRate tx rate control for ath
141 options AH_SUPPORT_AR5416
150 device scbus # SCSI bus (required for ATA/SCSI)
151 device da # Direct Access (disks)
152 device pass # Passthrough device (direct ATA/SCSI access)