sys/arm/conf/CRB

   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 ident           CRB
  21
  22 options         PHYSADDR=0x00000000
  23 options         KERNPHYSADDR=0x00200000
  24 options         KERNVIRTADDR=0xc0200000         # Used in ldscript.arm
  25
  26 options         COUNTS_PER_SEC=400000000
  27 include         "../xscale/i8134x/std.crb"
  28 makeoptions     MODULES_OVERRIDE=""
  29
  30 #makeoptions    DEBUG=-g                #Build kernel with gdb(1) debug symbols
  31 makeoptions     CONF_CFLAGS=-mcpu=xscale
  32 options         HZ=100
  33 options         BREAK_TO_DEBUGGER
  34 #options        DEVICE_POLLING
  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         NFSCL                   #New Network Filesystem Client
  44 options         NFSD                    #New Network Filesystem Server
  45 options         NFSLOCKD                #Network Lock Manager
  46 options         NFS_ROOT                #NFS usable as /, requires NFSCL
  47 #options        MSDOSFS                 #MSDOS Filesystem
  48 options         CD9660                  #ISO 9660 Filesystem
  49 #options        PROCFS                  #Process filesystem (requires PSEUDOFS)
  50 options         PSEUDOFS                #Pseudo-filesystem framework
  51 options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
  52 options         KTRACE                  #ktrace(1) support
  53 options         INTR_FILTER
  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 options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
  59 options         BOOTP
  60 options         BOOTP_NFSROOT
  61 options         BOOTP_NFSV3
  62 options         BOOTP_WIRED_TO=em0
  63 options         BOOTP_COMPAT
  64 #options        PREEMPTION
  65 device          loop
  66 device          ether
  67 #device         saarm
  68 device          miibus
  69 device          rl
  70 device          em
  71 device          uart
  72 device          pci
  73
  74 device          ata
  75 options         ATA_STATIC_ID   # Static device numbering
  76
  77 device          scbus           # SCSI bus (required for ATA/SCSI)
  78 device          cd              # CD
  79 device          da              # Direct Access (disks)
  80 device          pass            # Passthrough device (direct ATA/SCSI access)
  81
  82 device          "7seg"
  83
  84 # SCSI Controllers
  85
  86 #options        AHC_REG_PRETTY_PRINT    # Print register bitfields in debug
  87                                         # output.  Adds ~128k to driver.
  88 #options        AHD_REG_PRETTY_PRINT    # Print register bitfields in debug
  89                                         # output.  Adds ~215k to driver.
  90
  91 # Debugging for use in -current
  92 options         KDB
  93 options         DDB                     #Enable the kernel debugger
  94 #options        DEADLKRES               #Enable the deadlock resolver
  95 #options        INVARIANTS              #Enable calls of extra sanity checking
  96 #options        INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  97 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  98 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
  99 #options        DIAGNOSTIC
 100
 101 # To make an SMP kernel, the next two are needed
 102 #options        SMP                     # Symmetric MultiProcessor Kernel
 103 #options        APIC_IO                 # Symmetric (APIC) I/O
 104 options         XSCALE_CACHE_READ_WRITE_ALLOCATE
 105 device          md
 106 device          random          # Entropy device
 107
 108 device          iopwdog
 109 options         ARM_USE_SMALL_ALLOC
 110 # Floppy drives
 111