1# 2# VIRT -- Custom configuration for the qemu virt platform 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 21ident VIRT 22 23include "std.armv6" 24include "../qemu/std.virt" 25 26options HZ=100 27options SCHED_ULE # 4BSD scheduler 28options PLATFORM 29options SMP # Enable multiple cores 30 31# Debugging for use in -current 32makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 33options BREAK_TO_DEBUGGER 34options ALT_BREAK_TO_DEBUGGER 35#options VERBOSE_SYSINIT # Enable verbose sysinit messages 36options KDB # Enable kernel debugger support 37# For minimum debugger support (stable branch) use: 38#options KDB_TRACE # Print a stack trace for a panic 39# For full debugger support use this instead: 40options DDB # Enable the kernel debugger 41options INVARIANTS # Enable calls of extra sanity checking 42options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 43#options WITNESS # Enable checks to detect deadlocks and cycles 44#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 45#options DIAGNOSTIC 46 47# Interrupt controller 48device gic 49# ARM Generic Timer 50device generic_timer 51 52device bpf 53device loop 54device ether 55device uart 56device pty 57device snp 58device pl011 59device psci 60 61device virtio 62device virtio_mmio 63device virtio_blk 64device vtnet 65 66device md 67device random # Entropy device 68 69# Flattened Device Tree 70options FDT # Configure using FDT/DTB data 71 72# Extensible Firmware Interface 73options EFI 74 75