VERSATILEPB revision 331402 
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: stable/11/sys/arm/conf/VERSATILEPB 331402 2018-03-23 01:37:31Z gonzo $
20
21ident		VERSATILEPB
22machine		arm	armv6
23cpu 		CPU_ARM1176
24
25include 	"std.armv6"
26files		"../versatile/files.versatile"
27makeoptions	MODULES_OVERRIDE=""
28
29options 	KERNVIRTADDR=0xc0100000
30makeoptions	KERNVIRTADDR=0xc0100000
31
32options 	SCHED_4BSD		# 4BSD scheduler
33options 	LINUX_BOOT_ABI		# Process metadata passed from Linux boot loaders
34
35options 	ROOTDEVNAME=\"ufs:da0s1a\"
36
37device		bpf
38device		loop
39device		mii
40device		mii_bitbang
41device		smc
42device		smcphy
43device		ether
44device		uart
45device		pl011
46device		pl190
47
48device		pty
49device		snp
50
51device		pci
52
53# SCSI Controllers
54device		sym			# NCR/Symbios/LSI Logic 53C8XX/53C1010/53C1510D
55
56# ATA/SCSI peripherals
57device		scbus			# SCSI bus (required for ATA/SCSI)
58device		da			# Direct Access (disks)
59device		pass			# Passthrough device (direct ATA/SCSI access)
60
61# NOTE: serial console is disabled if syscons enabled
62# Comment following lines for headless setup
63device		sc
64device		kbdmux
65options 	SC_DFLT_FONT    	# compile font in
66makeoptions	SC_DFLT_FONT=cp437
67
68device		md
69device		random			# Entropy device
70
71options 	INTRNG
72
73# Flattened Device Tree
74options 	FDT			# Configure using FDT/DTB data
75options 	FDT_DTB_STATIC
76makeoptions	FDT_DTS_FILE=versatile-pb.dts
77