3750d1ecad
The 'nooption' kernel config entry has to be used to turn KSE off now. This isn't my preferred way of dealing with this, but I'll defer to scottl's experience with the io/mem kernel option change and the grief experienced over that. Submitted by: scottl@
119 lines
3.9 KiB
Plaintext
119 lines
3.9 KiB
Plaintext
# -*- makefile-bsdmake -*- GENERIC -- Generic kernel configuration file for FreeBSD/arm
|
|
#
|
|
# For more information on this file, please read the handbook section on
|
|
# Kernel Configuration Files:
|
|
#
|
|
# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
|
|
#
|
|
# The handbook is also available locally in /usr/share/doc/handbook
|
|
# if you've installed the doc distribution, otherwise always see the
|
|
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
|
|
# latest information.
|
|
#
|
|
# An exhaustive list of options and more detailed explanations of the
|
|
# device lines is also present in the ../../conf/NOTES and NOTES files.
|
|
# If you are in doubt as to the purpose or necessity of a line, check first
|
|
# in NOTES.
|
|
#
|
|
# $FreeBSD$
|
|
|
|
machine arm
|
|
ident EP80219
|
|
|
|
options PHYSADDR=0xa0000000
|
|
options KERNPHYSADDR=0xa0200000
|
|
options KERNVIRTADDR=0xc0200000 # Used in ldscript.arm
|
|
|
|
options STARTUP_PAGETABLE_ADDR=0xa0000000
|
|
#options ARM32_NEW_VM_LAYOUT
|
|
include "../xscale/i80321/std.ep80219"
|
|
#To statically compile in device wiring instead of /boot/device.hints
|
|
#hints "GENERIC.hints" #Default places to look for devices.
|
|
|
|
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
|
|
makeoptions CONF_CFLAGS=-mcpu=xscale
|
|
options HZ=100
|
|
#options DEVICE_POLLING
|
|
|
|
options SCHED_4BSD #4BSD scheduler
|
|
options INET #InterNETworking
|
|
#options INET6 #IPv6 communications protocols
|
|
options FFS #Berkeley Fast Filesystem
|
|
options SOFTUPDATES #Enable FFS soft updates support
|
|
options UFS_ACL #Support for access control lists
|
|
options UFS_DIRHASH #Improve performance on big directories
|
|
options NFSCLIENT #Network Filesystem Client
|
|
options NFSSERVER #Network Filesystem Server
|
|
options NFS_ROOT #NFS usable as /, requires NFSCLIENT
|
|
#options MSDOSFS #MSDOS Filesystem
|
|
options CD9660 #ISO 9660 Filesystem
|
|
#options PROCFS #Process filesystem (requires PSEUDOFS)
|
|
options PSEUDOFS #Pseudo-filesystem framework
|
|
options SCSI_DELAY=5000 #Delay (in ms) before probing SCSI
|
|
options KTRACE #ktrace(1) support
|
|
options SYSVSHM #SYSV-style shared memory
|
|
options SYSVMSG #SYSV-style message queues
|
|
options SYSVSEM #SYSV-style semaphores
|
|
options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
|
|
options KBD_INSTALL_CDEV # install a CDEV entry in /dev
|
|
options GEOM_GPT # GUID Partition Tables.
|
|
options GEOM_MBR # DOS/MBR partitioning
|
|
options GEOM_LABEL # Providers labelization.
|
|
|
|
options BOOTP
|
|
options BOOTP_NFSROOT
|
|
options BOOTP_NFSV3
|
|
options BOOTP_WIRED_TO=fxp0
|
|
options BOOTP_COMPAT
|
|
#options PREEMPTION
|
|
device genclock
|
|
device loop
|
|
device ether
|
|
device nexus
|
|
device mem # Memory and kernel memory devices
|
|
#device saarm
|
|
device miibus
|
|
device fxp
|
|
device uart
|
|
device pci
|
|
|
|
device ata
|
|
device atadisk # ATA disk drives
|
|
device ataraid # ATA RAID drives
|
|
device atapicd # ATAPI CDROM drives
|
|
device atapifd # ATAPI floppy drives
|
|
device atapist # ATAPI tape drives
|
|
options ATA_STATIC_ID # Static device numbering
|
|
|
|
# SCSI Controllers
|
|
|
|
device pty
|
|
device iopwdog # I80321 Watchdog
|
|
device dma # I80321 DMA Controller
|
|
|
|
# Debugging for use in -current
|
|
options KDB
|
|
options DDB #Enable the kernel debugger
|
|
#options INVARIANTS #Enable calls of extra sanity checking
|
|
#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
|
|
#options WITNESS #Enable checks to detect deadlocks and cycles
|
|
#options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
|
|
#options DIAGNOSTIC
|
|
|
|
# To make an SMP kernel, the next two are needed
|
|
#options SMP # Symmetric MultiProcessor Kernel
|
|
#options APIC_IO # Symmetric (APIC) I/O
|
|
options XSCALE_CACHE_READ_WRITE_ALLOCATE
|
|
device md
|
|
device random # Entropy device
|
|
|
|
options ARM_USE_SMALL_ALLOC
|
|
# Floppy drives
|
|
|
|
options INCLUDE_CONFIG_FILE # Include this file in kernel
|
|
#options VERBOSE_SYSINIT
|
|
options VERBOSE_INIT_ARM
|
|
|
|
device bpf
|
|
#options ROOTDEVNAME=\"ufs:ad4s1a\"
|