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 #To statically compile in device wiring instead of /boot/device.hints
  27 #hints          "GENERIC.hints"         #Default places to look for devices.
  28 makeoptions     MODULES_OVERRIDE=""
  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        KTRACE                  #ktrace(1) support
  53 options         SYSVSHM                 #SYSV-style shared memory
  54 options         SYSVMSG                 #SYSV-style message queues
  55 options         SYSVSEM                 #SYSV-style semaphores
  56 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
  57 device          loop
  58 device          ether
  59 device          saip
  60 device          assabet
  61 #device         saarm
  62 device          rl
  63 device          uart
  64
  65 # Debugging for use in -current
  66 #options        INVARIANTS              #Enable calls of extra sanity checking
  67 #options        INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  68 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  69 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  70
  71 device          md