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 #To statically compile in device wiring instead of /boot/device.hints
  30 #hints          "GENERIC.hints"         #Default places to look for devices.
  31 makeoptions     MODULES_OVERRIDE=""
  32
  33 #makeoptions    DEBUG=-g                #Build kernel with gdb(1) debug symbols
  34 makeoptions     CONF_CFLAGS=-mcpu=xscale
  35 options         HZ=100
  36 options         BREAK_TO_DEBUGGER
  37 #options        DEVICE_POLLING
  38
  39 options         SCHED_4BSD              #4BSD scheduler
  40 options         INET                    #InterNETworking
  41 options         INET6                   #IPv6 communications protocols
  42 options         FFS                     #Berkeley Fast Filesystem
  43 options         SOFTUPDATES             #Enable FFS soft updates support
  44 options         UFS_ACL                 #Support for access control lists
  45 options         UFS_DIRHASH             #Improve performance on big directories
  46 options         NFSCLIENT               #Network Filesystem Client
  47 options         NFSSERVER               #Network Filesystem Server
  48 options         NFSLOCKD                #Network Lock Manager
  49 options         NFS_ROOT                #NFS usable as /, requires NFSCLIENT
  50 #options        MSDOSFS                 #MSDOS Filesystem
  51 options         CD9660                  #ISO 9660 Filesystem
  52 #options        PROCFS                  #Process filesystem (requires PSEUDOFS)
  53 options         PSEUDOFS                #Pseudo-filesystem framework
  54 options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
  55 options         KTRACE                  #ktrace(1) support
  56 options         INTR_FILTER
  57 options         SYSVSHM                 #SYSV-style shared memory
  58 options         SYSVMSG                 #SYSV-style message queues
  59 options         SYSVSEM                 #SYSV-style semaphores
  60 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
  61 options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
  62 options         BOOTP
  63 options         BOOTP_NFSROOT
  64 options         BOOTP_NFSV3
  65 options         BOOTP_WIRED_TO=em0
  66 options         BOOTP_COMPAT
  67 #options        PREEMPTION
  68 device          loop
  69 device          ether
  70 #device         saarm
  71 device          miibus
  72 device          rl
  73 device          em
  74 device          uart
  75 device          pci
  76
  77 device          ata
  78 device          atadisk         # ATA disk drives
  79 device          ataraid         # ATA RAID drives
  80 device          atapicd         # ATAPI CDROM drives
  81 device          atapifd         # ATAPI floppy drives
  82 device          atapist         # ATAPI tape drives
  83 options         ATA_STATIC_ID   # Static device numbering
  84
  85 device          "7seg"
  86
  87 # SCSI Controllers
  88
  89 device          pty
  90 #options        AHC_REG_PRETTY_PRINT    # Print register bitfields in debug
  91                                         # output.  Adds ~128k to driver.
  92 #options        AHD_REG_PRETTY_PRINT    # Print register bitfields in debug
  93                                         # output.  Adds ~215k to driver.
  94
  95 # Debugging for use in -current
  96 options         KDB
  97 options         DDB                     #Enable the kernel debugger
  98 #options        INVARIANTS              #Enable calls of extra sanity checking
  99 #options        INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
 100 #options        WITNESS                 #Enable checks to detect deadlocks and cycles
 101 #options        WITNESS_SKIPSPIN        #Don't run witness on spinlocks for speed
 102 #options        DIAGNOSTIC
 103
 104 # To make an SMP kernel, the next two are needed
 105 #options        SMP                     # Symmetric MultiProcessor Kernel
 106 #options        APIC_IO                 # Symmetric (APIC) I/O
 107 options         XSCALE_CACHE_READ_WRITE_ALLOCATE
 108 device          md
 109 device          random          # Entropy device
 110
 111 device          iopwdog
 112 options         ARM_USE_SMALL_ALLOC
 113 # Floppy drives
 114