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
Cache object: a9037f5292712753185915c55809a8ab
|