]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/arm/conf/VERSATILEPB
Remove pl310.c from the SoC std.* files, it's in files.arm
[FreeBSD/FreeBSD.git] / sys / arm / conf / VERSATILEPB
1 #
2 # VERSATILEPB - Configuration for QEMU version of Versatile Platform Board
3 #
4 # For more information on this file, please read the config(5) manual page,
5 # and/or the handbook section on Kernel Configuration Files:
6 #
7 #    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8 #
9 # The handbook is also available locally in /usr/share/doc/handbook
10 # if you've installed the doc distribution, otherwise always see the
11 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
12 # latest information.
13 #
14 # An exhaustive list of options and more detailed explanations of the
15 # device lines is also present in the ../../conf/NOTES and NOTES files.
16 # If you are in doubt as to the purpose or necessity of a line, check first
17 # in NOTES.
18 #
19 # $FreeBSD$
20
21 ident           VERSATILEPB
22 machine         arm     armv6
23 cpu             CPU_ARM1176
24
25 include         "std.armv6"
26 files           "../versatile/files.versatile"
27 makeoptions     MODULES_OVERRIDE=""
28
29 options         KERNVIRTADDR=0xc0100000
30 makeoptions     KERNVIRTADDR=0xc0100000
31
32 options         HZ=100
33 options         SCHED_4BSD              # 4BSD scheduler
34 options         LINUX_BOOT_ABI          # Process metadata passed from Linux boot loaders
35
36 # Debugging for use in -current
37 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
38 options         KDB                     # Enable kernel debugger support
39 # For minimum debugger support (stable branch) use:
40 #options        KDB_TRACE               # Print a stack trace for a panic
41 # For full debugger support use this instead:
42 options         DDB                     # Enable the kernel debugger
43 options         INVARIANTS              # Enable calls of extra sanity checking
44 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
45
46 options         ROOTDEVNAME=\"ufs:da0s1a\"
47
48 device          bpf
49 device          loop
50 device          mii
51 device          mii_bitbang
52 device          smc
53 device          smcphy
54 device          ether
55 device          uart
56 device          pl011
57 device          pl190
58
59 device          pty
60 device          snp
61
62 device          pci
63
64 # SCSI Controllers
65 device          sym                     # NCR/Symbios/LSI Logic 53C8XX/53C1010/53C1510D
66
67 # ATA/SCSI peripherals
68 device          scbus                   # SCSI bus (required for ATA/SCSI)
69 device          da                      # Direct Access (disks)
70 device          pass                    # Passthrough device (direct ATA/SCSI access)
71
72 # NOTE: serial console is disabled if syscons enabled
73 # Comment following lines for headless setup
74 device          sc
75 device          kbdmux
76 options         SC_DFLT_FONT            # compile font in
77 makeoptions     SC_DFLT_FONT=cp437
78
79 device          md
80 device          random                  # Entropy device
81
82 # Flattened Device Tree
83 options         FDT                     # Configure using FDT/DTB data
84 options         FDT_DTB_STATIC
85 makeoptions     FDT_DTS_FILE=versatilepb.dts