d20db01f97
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@
89 lines
3.1 KiB
Plaintext
89 lines
3.1 KiB
Plaintext
# SKYEYE -- Kernel configuration for running the skyeye simulator
|
|
# simulating the Atmel AT91RM9200.
|
|
#
|
|
# 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 KB920X
|
|
|
|
options KERNPHYSADDR=0xc0000000
|
|
options KERNVIRTADDR=0xc0000000
|
|
options PHYSADDR=0xc0000000
|
|
include "../at91/std.kb920x"
|
|
#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=arm9
|
|
options DDB
|
|
options KDB
|
|
|
|
|
|
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 MD_ROOT #MD is a potential root device
|
|
options MD_ROOT_SIZE=4096
|
|
options ROOTDEVNAME=\"ufs:md0\"
|
|
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
|
|
device genclock
|
|
device loop
|
|
device ether
|
|
device nexus
|
|
#device saarm
|
|
device rl
|
|
device uart
|
|
#options AHC_REG_PRETTY_PRINT # Print register bitfields in debug
|
|
# output. Adds ~128k to driver.
|
|
#options AHD_REG_PRETTY_PRINT # Print register bitfields in debug
|
|
# output. Adds ~215k to driver.
|
|
|
|
# Debugging for use in -current
|
|
#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
|
|
|
|
# To make an SMP kernel, the next two are needed
|
|
#options SMP # Symmetric MultiProcessor Kernel
|
|
#options APIC_IO # Symmetric (APIC) I/O
|
|
|
|
device mem # Memory and kernel memory devices
|
|
device md
|
|
options SKYEYE_WORKAROUNDS
|
|
# Floppy drives
|
|
|
|
|