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 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 NFSCLIENT #Network Filesystem Client
53 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
57 options BOOTP_WIRED_TO=npe0
58 #options BOOTP_WIRED_TO=ath0
59 #options BOOTP_WIRED_TO=rl0
62 #options VERBOSE_SYSINIT
69 device ixpwdog # watchdog timer
70 device cfi # flash support
71 device cfid # flash disk support
72 device geom_redboot # redboot fis parser
79 device ixpiic # I2C bus glue
80 device ds1672 # DS1672 on I2C bus
81 device ad7418 # AD7418 on I2C bus
86 device atadisk # ATA disk drives
87 device avila_ata # Gateworks CF/IDE support
89 device npe # Network Processing Engine
92 device qmgr # Q Manager (required by npe)
93 device mii # NB: required by npe
102 device random # Entropy device
105 device wlan # 802.11 support
106 options IEEE80211_DEBUG
107 options IEEE80211_SUPPORT_TDMA
108 options IEEE80211_SUPPORT_MESH
109 device wlan_wep # 802.11 WEP support
110 device wlan_ccmp # 802.11 CCMP support
111 device wlan_tkip # 802.11 TKIP support
114 device ath # Atheros pci/cardbus NIC's
117 #options ATH_TX99_DIAG
118 device ath_rate_sample # SampleRate tx rate control for ath
133 options AH_SUPPORT_AR5416
141 device scbus # SCSI bus (required for SCSI)
142 device da # Direct Access (disks)