VERSATILEPB

Version: - FREEBSD - FREEBSD-13-STABLE - FREEBSD-13-0 - FREEBSD-12-STABLE - FREEBSD-12-0 - FREEBSD-11-STABLE - FREEBSD-11-0 - FREEBSD-10-STABLE - FREEBSD-10-0 - FREEBSD-9-STABLE - FREEBSD-9-0 - FREEBSD-8-STABLE - FREEBSD-8-0 - FREEBSD-7-STABLE - FREEBSD-7-0 - FREEBSD-6-STABLE - FREEBSD-6-0 - FREEBSD-5-STABLE - FREEBSD-5-0 - FREEBSD-4-STABLE - FREEBSD-3-STABLE - FREEBSD22 - l41 - OPENBSD - linux-2.6 - MK84 - PLAN9 - xnu-8792
SearchContext: - none - 3 - 10

    1 # VERSATILEPB - Configuration for QEMU version of Versatile Platform Board
    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: releng/10.0/sys/arm/conf/VERSATILEPB 254902 2013-08-26 10:27:15Z andrew $
   19 
   20 ident           VERSATILEPB
   21 machine         arm     armv6
   22 cpu             CPU_ARM1176
   23 
   24 files           "../versatile/files.versatile"
   25 makeoptions     MODULES_OVERRIDE=""
   26 
   27 options         KERNVIRTADDR=0xc0100000
   28 makeoptions     KERNVIRTADDR=0xc0100000
   29 options         KERNPHYSADDR=0x00100000
   30 makeoptions     KERNPHYSADDR=0x00100000
   31 options         PHYSADDR=0x00000000
   32 options         STARTUP_PAGETABLE_ADDR=0x01000000
   33 options         FREEBSD_BOOT_LOADER
   34 options         LINUX_BOOT_ABI
   35 
   36 makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
   37 options         HZ=100
   38 
   39 options         SCHED_4BSD              #4BSD scheduler
   40 options         INET                    #InterNETworking
   41 options         FFS                     #Berkeley Fast Filesystem
   42 options         SOFTUPDATES             #Enable FFS soft updates support
   43 options         UFS_ACL                 #Support for access control lists
   44 options         UFS_DIRHASH             #Improve performance on big directories
   45 device          snp
   46 
   47 options         PSEUDOFS                #Pseudo-filesystem framework
   48 options         COMPAT_43               #Compatible with BSD 4.3 [KEEP THIS!]
   49 options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
   50 options         KTRACE                  #ktrace(1) support
   51 options         SYSVSHM                 #SYSV-style shared memory
   52 options         SYSVMSG                 #SYSV-style message queues
   53 options         SYSVSEM                 #SYSV-style semaphores
   54 options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
   55 options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
   56 options         ROOTDEVNAME=\"ufs:da0s1a\"
   57 options         VFP             # vfp/neon
   58 
   59 options         PREEMPTION
   60 
   61 device          bpf
   62 device          loop
   63 device          mii
   64 device          mii_bitbang
   65 device          smc
   66 device          smcphy
   67 device          ether
   68 device          uart
   69 device          pl011
   70 device          pl190
   71 
   72 device          pty
   73 
   74 device          pci
   75 
   76 # SCSI Controllers
   77 device          sym             # NCR/Symbios/LSI Logic 53C8XX/53C1010/53C1510D
   78 
   79 # ATA/SCSI peripherals
   80 device          scbus           # SCSI bus (required for ATA/SCSI)
   81 device          da              # Direct Access (disks)
   82 device          pass            # Passthrough device (direct ATA/SCSI access)
   83 
   84 # NOTE: serial console is disabled if syscons enabled
   85 # Comment following lines for headless setup
   86 device          sc
   87 device          kbdmux
   88 options         SC_DFLT_FONT    # compile font in
   89 makeoptions     SC_DFLT_FONT=cp437
   90 
   91 options         KDB
   92 options         DDB                     #Enable the kernel debugger
   93 options         INVARIANTS              #Enable calls of extra sanity checking
   94 options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
   95 
   96 device          md
   97 device          random          # Entropy device
   98 
   99 # Flattened Device Tree
  100 options         FDT
  101 options         FDT_DTB_STATIC
  102 makeoptions     FDT_DTS_FILE=versatilepb.dts

Cache object: 60ddccd00a9f03c35e53e140d7699df8

[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]

This page is part of the FreeBSD/Linux Linux Kernel Cross-Reference, and was automatically generated using a modified version of the LXR engine.

FreeBSD/Linux Kernel Cross Reference sys/arm/conf/VERSATILEPB

FreeBSD/Linux Kernel Cross Reference
sys/arm/conf/VERSATILEPB