1 # CAMBRIA -- Gateworks Cambria 235x boards
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.ixp435"
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 "CAMBRIA.hints" # Default places to look for devices.
30 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
31 makeoptions CONF_CFLAGS=-mcpu=xscale
32 makeoptions MODULES_OVERRIDE=""
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
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
61 # Hardware performance counters
65 #options VERBOSE_SYSINIT
66 options VERBOSE_INIT_ARM
73 device ixpwdog # watchdog timer
75 options IXP4XX_FLASH_SIZE=0x02000000 # stock 2358 comes w/ 32M
76 device cfi # flash support
77 device cfid # flash disk support
78 device geom_redboot # redboot fis parser
85 device ixpiic # I2C bus glue
86 device ds1672 # DS1672 on I2C bus
87 device ad7418 # AD7418 on I2C bus
89 device cambria_fled # Font Panel LED on I2C bus
90 device cambria_led # 8-LED latch
94 device cambria_gpio # GPIO pins on J11
97 device avila_ata # Gateworks CF/IDE support
99 device npe # Network Processing Engine
102 device qmgr # Q Manager (required by npe)
103 device mii # NB: required by npe
111 device random # Entropy device
114 device wlan # 802.11 support
115 options IEEE80211_DEBUG
116 options IEEE80211_SUPPORT_TDMA
117 options IEEE80211_SUPPORT_MESH
118 device wlan_wep # 802.11 WEP support
119 device wlan_ccmp # 802.11 CCMP support
120 device wlan_tkip # 802.11 TKIP support
123 device ath # Atheros NICs
124 device ath_pci # Atheros pci/cardbus glue
127 options ATH_ENABLE_DFS
128 options ATH_ENABLE_11N
129 #options ATH_TX99_DIAG
130 device ath_rate_sample # SampleRate tx rate control for ath
133 options AH_PRIVATE_DIAG
134 options AH_SUPPORT_AR5416 # NB: for 11n descriptor format
137 # NB: 2 USB 2.0 ports standard
139 options USB_EHCI_BIG_ENDIAN_DESC # handle big-endian byte order
143 device scbus # SCSI bus (required for ATA/SCSI)
144 device da # Direct Access (disks)
145 device pass # Passthrough device (direct ATA/SCSI access)