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 options         STARTUP_PAGETABLE_ADDR=0x00000000
  28 include         "../xscale/i8134x/std.crb"
  29 makeoptions     MODULES_OVERRIDE=""
  30
  31 #makeoptions    DEBUG=-g                #Build kernel with gdb(1) debug symbols
  32 makeoptions     CONF_CFLAGS=-mcpu=xscale
  33 options         HZ=100
  34 options         BREAK_TO_DEBUGGER
  35 #options        DEVICE_POLLING
  36
  37 options         SCHED_4BSD              #4BSD scheduler
  38 options         INET                    #InterNETworking
  39 options         INET6                   #IPv6 communications protocols
  40 options         FFS                     #Berkeley Fast Filesystem
  41 options         SOFTUPDATES             #Enable FFS soft updates support
  42 options         UFS_ACL                 #Support for access control lists
  43 options         UFS_DIRHASH             #Improve performance on big directories
  44 options         NFSCL                   #New Network Filesystem Client
  45 options         NFSD                    #New Network Filesystem Server
  46 options         NFSLOCKD                #Network Lock Manager
  47 options         NFS_ROOT                #NFS usable as /, requires NFSCL
  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         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
  53 options         KTRACE                  #ktrace(1) support
  54 options         INTR_FILTER
  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 options         BOOTP
  61 options         BOOTP_NFSROOT
  62 options         BOOTP_NFSV3
  63 options         BOOTP_WIRED_TO=em0
  64 options         BOOTP_COMPAT
  65 #options        PREEMPTION
  66 device          loop
  67 device          ether
  68 #device         saarm
  69 device          miibus
  70 device          rl
  71 device          em
  72 device          uart
  73 device          pci
  74
  75 device          ata
  76 options         ATA_STATIC_ID   # Static device numbering
  77
  78 device          scbus           # SCSI bus (required for ATA/SCSI)
  79 device          cd              # CD
  80 device          da              # Direct Access (disks)
  81 device          pass            # Passthrough device (direct ATA/SCSI access)
  82
  83 device          "7seg"
  84
  85 # SCSI Controllers
  86
  87 #options        AHC_REG_PRETTY_PRINT    # Print register bitfields in debug
  88                                         # output.  Adds ~128k to driver.
  89 #options        AHD_REG_PRETTY_PRINT    # Print register bitfields in debug
  90                                         # output.  Adds ~215k to driver.
  91
  92 # Debugging for use in -current
  93 options         KDB
  94 options         DDB                     #Enable the kernel debugger
  95 #options        DEADLKRES               #Enable the deadlock resolver
  96 #options        INVARIANTS              #Enable calls of extra sanity checking
  97 #options        INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  98 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
  99 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
 100 #options        DIAGNOSTIC
 101
 102 # To make an SMP kernel, the next two are needed
 103 #options        SMP                     # Symmetric MultiProcessor Kernel
 104 #options        APIC_IO                 # Symmetric (APIC) I/O
 105 options         XSCALE_CACHE_READ_WRITE_ALLOCATE
 106 device          md
 107 device          random          # Entropy device
 108
 109 device          iopwdog
 110 options         ARM_USE_SMALL_ALLOC
 111 # Floppy drives
 112