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