freebsd-nq/sys/arm/conf/VIRT

#
# VIRT -- Custom configuration for the qemu virt platform
#
# For more information on this file, please read the config(5) manual page,
# and/or the handbook section on Kernel Configuration Files:
#
#    http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
#
# The handbook is also available locally in /usr/share/doc/handbook
# if you've installed the doc distribution, otherwise always see the
# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
# latest information.
#
# An exhaustive list of options and more detailed explanations of the
# device lines is also present in the ../../conf/NOTES and NOTES files.
# If you are in doubt as to the purpose or necessity of a line, check first
# in NOTES.
#
# $FreeBSD$

ident		VIRT

include 	"std.armv6"
include 	"../qemu/std.virt"

options 	HZ=100
options 	SCHED_ULE		# 4BSD scheduler
options 	PLATFORM
options 	SMP			# Enable multiple cores

# Debugging for use in -current
makeoptions	DEBUG=-g		# Build kernel with gdb(1) debug symbols
options 	BREAK_TO_DEBUGGER
options 	ALT_BREAK_TO_DEBUGGER
#options 	VERBOSE_SYSINIT		# Enable verbose sysinit messages
options 	KDB			# Enable kernel debugger support
# For minimum debugger support (stable branch) use:
#options 	KDB_TRACE		# Print a stack trace for a panic
# For full debugger support use this instead:
options 	DDB			# Enable the kernel debugger
options 	INVARIANTS		# Enable calls of extra sanity checking
options 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
#options 	WITNESS			# Enable checks to detect deadlocks and cycles
#options 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
#options 	DIAGNOSTIC

# Interrupt controller
device		gic
# ARM Generic Timer
device		generic_timer

device		bpf
device		loop
device		ether
device		uart
device		pty
device		snp
device		pl011
device		psci

device		virtio
device		virtio_mmio
device		virtio_blk
device		vtnet

device		md
device		random			# Entropy device

# Flattened Device Tree
options 	FDT			# Configure using FDT/DTB data

# Extensible Firmware Interface
options 	EFI
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00			`#`
			`# VIRT -- Custom configuration for the qemu virt platform`
			`#`
			`# For more information on this file, please read the config(5) manual page,`
			`# and/or the handbook section on Kernel Configuration Files:`
			`#`
			`# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html`
			`#`
			`# The handbook is also available locally in /usr/share/doc/handbook`
			`# if you've installed the doc distribution, otherwise always see the`
			`# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the`
			`# latest information.`
			`#`
			`# An exhaustive list of options and more detailed explanations of the`
			`# device lines is also present in the ../../conf/NOTES and NOTES files.`
			`# If you are in doubt as to the purpose or necessity of a line, check first`
			`# in NOTES.`
			`#`
			`# $FreeBSD$`

			`ident VIRT`

Clean up the ARM kernel configs to use 'include<space><tab>"file"'. 2015-05-07 12:38:23 +00:00			`include "std.armv6"`
			`include "../qemu/std.virt"`
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00
			`options HZ=100`
Enable SMP on the qemu virt platform. We use the device tree to find which cpus to enable, and PSCI to start them. 2015-05-24 12:33:12 +00:00			`options SCHED_ULE # 4BSD scheduler`
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00			`options PLATFORM`
Enable SMP on the qemu virt platform. We use the device tree to find which cpus to enable, and PSCI to start them. 2015-05-24 12:33:12 +00:00			`options SMP # Enable multiple cores`
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00
			`# Debugging for use in -current`
			`makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols`
			`options BREAK_TO_DEBUGGER`
			`options ALT_BREAK_TO_DEBUGGER`
			`#options VERBOSE_SYSINIT # Enable verbose sysinit messages`
			`options KDB # Enable kernel debugger support`
			`# For minimum debugger support (stable branch) use:`
			`#options KDB_TRACE # Print a stack trace for a panic`
			`# For full debugger support use this instead:`
			`options DDB # Enable the kernel debugger`
			`options INVARIANTS # Enable calls of extra sanity checking`
			`options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS`
			`#options WITNESS # Enable checks to detect deadlocks and cycles`
			`#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed`
			`#options DIAGNOSTIC`

Use the new gic option. While here remove extra whitespace from the ned of a few lines. 2015-05-10 09:37:54 +00:00			`# Interrupt controller`
			`device gic`
Create device options for the two common ARM timers. Sponsored by: ABT Systems Ltd 2015-11-21 16:23:56 +00:00			`# ARM Generic Timer`
			`device generic_timer`
Use the new gic option. While here remove extra whitespace from the ned of a few lines. 2015-05-10 09:37:54 +00:00
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00			`device bpf`
			`device loop`
			`device ether`
			`device uart`
			`device pty`
			`device snp`
			`device pl011`
Add a driver for the ARM Power State Coordination Interface (PSCI). This handles versions 0.1 and 0.2 of the standard on 32-bit ARM. With this driver we can shutdown in QEMU. Further work is needed to turn secondary cores on on boot and to support later revisions of the specification. Submitted by: Robin Randhawa <Robin.Randhawa at ARM.com> Sponsored by: The FreeBSD Foundation 2015-04-12 13:00:58 +00:00			`device psci`
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00
Use the new gic option. While here remove extra whitespace from the ned of a few lines. 2015-05-10 09:37:54 +00:00			`device virtio`
			`device virtio_mmio`
			`device virtio_blk`
Add support for the QEMU virt SoC. This is a SoC built depending on the command line arguments passed in. It will then generate a dtb on the fly, as such no dts will be added as it may be incorrect. Relnotes: yes 2015-04-11 17:52:47 +00:00			`device vtnet`

			`device md`
			`device random # Entropy device`

			`# Flattened Device Tree`
			`options FDT # Configure using FDT/DTB data`

Add support for getting the memory map from EFI if it has been pased in by loader.efi. 2015-05-24 16:11:30 +00:00			`# Extensible Firmware Interface`
			`options EFI`