]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/arm/conf/VERSATILEPB
amd64: use register macros for gdb_cpu_getreg()
[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 #    https://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 (https://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         SCHED_4BSD              # 4BSD scheduler
33 options         LINUX_BOOT_ABI          # Process metadata passed from Linux boot loaders
34
35 options         ROOTDEVNAME=\"ufs:da0s1a\"
36
37 device          bpf
38 device          loop
39 device          mii
40 device          mii_bitbang
41 device          smc
42 device          smcphy
43 device          ether
44 device          uart
45 device          pl011
46 device          pl190
47
48 device          pty
49 device          snp
50
51 device          pci
52
53 # SCSI Controllers
54 device          sym                     # NCR/Symbios/LSI Logic 53C8XX/53C1010/53C1510D
55
56 # ATA/SCSI peripherals
57 device          scbus                   # SCSI bus (required for ATA/SCSI)
58 device          da                      # Direct Access (disks)
59 device          pass                    # Passthrough device (direct ATA/SCSI access)
60
61 # NOTE: serial console is disabled if syscons enabled
62 # Comment following lines for headless setup
63 device          sc
64 device          kbdmux
65 options         SC_DFLT_FONT            # compile font in
66 makeoptions     SC_DFLT_FONT=cp437
67
68 device          md
69
70 options         PLATFORM
71
72 # Flattened Device Tree
73 options         FDT                     # Configure using FDT/DTB data
74 options         FDT_DTB_STATIC
75 makeoptions     FDT_DTS_FILE=versatile-pb.dts