sys/arm/conf/SIMICS

   1 # SIMICS -- Custom kernel configuration file for FreeBSD/arm on Simics SA1110
   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 ident           SIMICS
  21
  22 options KERNPHYSADDR=0xc0000000
  23 options KERNVIRTADDR=0xc0000000
  24 options PHYSADDR=0xc0000000
  25 include         "../sa11x0/std.sa11x0"
  26 makeoptions     MODULES_OVERRIDE=""
  27
  28 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
  29 makeoptions     CONF_CFLAGS=-mcpu=strongarm
  30 options         DDB
  31 options         KDB
  32
  33 options         SCHED_4BSD              #4BSD scheduler
  34 options         INET                    #InterNETworking
  35 options         INET6                   #IPv6 communications protocols
  36 options         FFS                     #Berkeley Fast Filesystem
  37 options         SOFTUPDATES             #Enable FFS soft updates support
  38 options         UFS_ACL                 #Support for access control lists
  39 options         UFS_DIRHASH             #Improve performance on big directories
  40 options         MD_ROOT                 #MD is a potential root device
  41 options         ROOTDEVNAME=\"ufs:md0\"
  42 options         NFSCL                   #New Network Filesystem Client
  43 options         NFSD                    #New Network Filesystem Server
  44 options         NFSLOCKD                #Network Lock Manager
  45 options         NFS_ROOT                #NFS usable as /, requires NFSCL
  46 #options        MSDOSFS                 #MSDOS Filesystem
  47 options         CD9660                  #ISO 9660 Filesystem
  48 #options        PROCFS                  #Process filesystem (requires PSEUDOFS)
  49 options         PSEUDOFS                #Pseudo-filesystem framework
  50 #options        KTRACE                  #ktrace(1) support
  51 options         SYSVSHM                 #SYSV-style shared memory
  52 options         SYSVMSG                 #SYSV-style message queues
  53 options         SYSVSEM                 #SYSV-style semaphores
  54 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
  55 device          loop
  56 device          ether
  57 device          saip
  58 device          assabet
  59 #device         saarm
  60 device          rl
  61 device          uart
  62
  63 # Debugging for use in -current
  64 #options        DEADLKRES               #Enable the deadlock resolver
  65 #options        INVARIANTS              #Enable calls of extra sanity checking
  66 #options        INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  67 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  68 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  69
  70 device          md