The Design and Implementation of the FreeBSD Operating System, Second Edition
Now available: The Design and Implementation of the FreeBSD Operating System (Second Edition)


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]

FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/SIMICS

Version: -  FREEBSD  -  FREEBSD-13-STABLE  -  FREEBSD-13-0  -  FREEBSD-12-STABLE  -  FREEBSD-12-0  -  FREEBSD-11-STABLE  -  FREEBSD-11-0  -  FREEBSD-10-STABLE  -  FREEBSD-10-0  -  FREEBSD-9-STABLE  -  FREEBSD-9-0  -  FREEBSD-8-STABLE  -  FREEBSD-8-0  -  FREEBSD-7-STABLE  -  FREEBSD-7-0  -  FREEBSD-6-STABLE  -  FREEBSD-6-0  -  FREEBSD-5-STABLE  -  FREEBSD-5-0  -  FREEBSD-4-STABLE  -  FREEBSD-3-STABLE  -  FREEBSD22  -  l41  -  OPENBSD  -  linux-2.6  -  MK84  -  PLAN9  -  xnu-8792 
SearchContext: -  none  -  3  -  10 

    1 # GENERIC -- Generic kernel configuration file for FreeBSD/arm
    2 #
    3 # For more information on this file, please read the handbook section on
    4 # Kernel Configuration Files:
    5 #
    6 #    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
    7 #
    8 # The handbook is also available locally in /usr/share/doc/handbook
    9 # if you've installed the doc distribution, otherwise always see the
   10 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
   11 # latest information.
   12 #
   13 # An exhaustive list of options and more detailed explanations of the
   14 # device lines is also present in the ../../conf/NOTES and NOTES files. 
   15 # If you are in doubt as to the purpose or necessity of a line, check first 
   16 # in NOTES.
   17 #
   18 # $FreeBSD$
   19 
   20 machine         arm
   21 ident           SIMICS
   22 
   23 options KERNPHYSADDR=0xc0000000
   24 options KERNVIRTADDR=0xc0000000
   25 options PHYSADDR=0xc0000000
   26 include         "../sa11x0/std.sa11x0"
   27 #To statically compile in device wiring instead of /boot/device.hints
   28 #hints          "GENERIC.hints"         #Default places to look for devices.
   29 
   30 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
   31 makeoptions     CONF_CFLAGS=-mcpu=strongarm
   32 options         DDB
   33 options         KDB
   34 
   35 options         SCHED_4BSD              #4BSD scheduler
   36 options         INET                    #InterNETworking
   37 options         INET6                   #IPv6 communications protocols
   38 options         FFS                     #Berkeley Fast Filesystem
   39 options         SOFTUPDATES             #Enable FFS soft updates support
   40 options         UFS_ACL                 #Support for access control lists
   41 options         UFS_DIRHASH             #Improve performance on big directories
   42 options         MD_ROOT                 #MD is a potential root device
   43 options         ROOTDEVNAME=\"ufs:md0\"
   44 options         NFSCLIENT               #Network Filesystem Client
   45 options         NFSSERVER               #Network Filesystem Server
   46 options         NFSLOCKD                #Network Lock Manager
   47 options         NFS_ROOT                #NFS usable as /, requires NFSCLIENT
   48 #options        MSDOSFS                 #MSDOS Filesystem
   49 options         CD9660                  #ISO 9660 Filesystem
   50 #options        PROCFS                  #Process filesystem (requires PSEUDOFS)
   51 options         PSEUDOFS                #Pseudo-filesystem framework
   52 options         COMPAT_43               #Compatible with BSD 4.3 [KEEP THIS!]
   53 options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
   54 #options        KTRACE                  #ktrace(1) support
   55 options         SYSVSHM                 #SYSV-style shared memory
   56 options         SYSVMSG                 #SYSV-style message queues
   57 options         SYSVSEM                 #SYSV-style semaphores
   58 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
   59 options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
   60 device          genclock
   61 device          loop
   62 device          ether
   63 device          saip
   64 device          assabet
   65 device          nexus
   66 #device         saarm
   67 device          rl
   68 device          uart
   69 #options        AHC_REG_PRETTY_PRINT    # Print register bitfields in debug
   70                                         # output.  Adds ~128k to driver.
   71 #options        AHD_REG_PRETTY_PRINT    # Print register bitfields in debug
   72                                         # output.  Adds ~215k to driver.
   73 
   74 # Debugging for use in -current
   75 #options        INVARIANTS              #Enable calls of extra sanity checking
   76 #options        INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
   77 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
   78 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
   79 
   80 # To make an SMP kernel, the next two are needed
   81 #options        SMP                     # Symmetric MultiProcessor Kernel
   82 #options        APIC_IO                 # Symmetric (APIC) I/O
   83 
   84 device          mem                     # Memory and kernel memory devices
   85 device md
   86 # Floppy drives
   87 

Cache object: 0ae299d521717a582dfd83af96d0b595


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]


This page is part of the FreeBSD/Linux Linux Kernel Cross-Reference, and was automatically generated using a modified version of the LXR engine.