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
24 include "../xscale/ixp425/std.ixp425"
25 # NB: memory mapping is defined in std.avila
26 include "../xscale/ixp425/std.avila"
27 options XSCALE_CACHE_READ_WRITE_ALLOCATE
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 GEOM_PART_BSD # BSD partition scheme
52 options GEOM_PART_MBR # MBR partition scheme
53 options TMPFS # Efficient memory filesystem
54 options FFS # Berkeley Fast Filesystem
55 options SOFTUPDATES # Enable FFS soft updates support
56 options NFSCL # Network Filesystem Client
57 options NFS_ROOT # NFS usable as /, requires NFSCL
61 options BOOTP_WIRED_TO=npe0
62 #options BOOTP_WIRED_TO=ath0
63 #options BOOTP_WIRED_TO=rl0
66 #options VERBOSE_SYSINIT
68 # Hardware performance counters
77 device ixpwdog # watchdog timer
78 device cfi # flash support
79 device cfid # flash disk support
80 device geom_redboot # redboot fis parser
87 device ixpiic # I2C bus glue
88 device ds1672 # DS1672 on I2C bus
89 device ad7418 # AD7418 on I2C bus
95 device avila_gpio # GPIO pins on J8
98 device avila_ata # Gateworks CF/IDE support
100 device npe # Network Processing Engine
103 device qmgr # Q Manager (required by npe)
104 device mii # NB: required by npe
112 device random # Entropy device
115 device wlan # 802.11 support
116 options IEEE80211_DEBUG
117 options IEEE80211_SUPPORT_TDMA
118 options IEEE80211_SUPPORT_MESH
119 device wlan_wep # 802.11 WEP support
120 device wlan_ccmp # 802.11 CCMP support
121 device wlan_tkip # 802.11 TKIP support
124 device ath # Atheros NICs
125 device ath_pci # Atheros pci/cardbus glue
128 #options ATH_TX99_DIAG
129 device ath_rate_sample # SampleRate tx rate control for ath
144 options AH_SUPPORT_AR5416
153 device scbus # SCSI bus (required for ATA/SCSI)
154 device da # Direct Access (disks)
155 device pass # Passthrough device (direct ATA/SCSI access)