8e94025b41
HEAD. Enable VIMAGE in GENERIC kernels and some others (where GENERIC does not exist) on HEAD. Disable building LINT-VIMAGE with VIMAGE being default. This should give it a lot more exposure in the run-up to 12 to help us evaluate whether to keep it on by default or not. We are also hoping to get better performance testing. The feature can be disabled using nooptions. Requested by: many Reviewed by: kristof, emaste, hiren X-MFC after: never Relnotes: yes Differential Revision: https://reviews.freebsd.org/D12639
63 lines
1.6 KiB
Plaintext
63 lines
1.6 KiB
Plaintext
#
|
|
# GXEMUL "oldtestmips" sample kernel configuration.
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
ident GXEMUL
|
|
|
|
machine mips mips
|
|
cpu CPU_MIPS4KC
|
|
|
|
options HZ=100
|
|
|
|
makeoptions KERNLOADADDR=0x80100000
|
|
|
|
include "../gxemul/std.gxemul"
|
|
|
|
hints "GXEMUL.hints" #Default places to look for devices.
|
|
|
|
makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
|
|
|
|
makeoptions MODULES_OVERRIDE=""
|
|
|
|
options DDB
|
|
options KDB
|
|
|
|
# Make an SMP-capable kernel by default
|
|
options SMP # Symmetric MultiProcessor Kernel
|
|
|
|
options SCHED_ULE
|
|
options VIMAGE # Subsystem virtualization, e.g. VNET
|
|
options INET # InterNETworking
|
|
options INET6 # IPv6 communications protocols
|
|
options TCP_HHOOK # hhook(9) framework for TCP
|
|
|
|
options FFS #Berkeley Fast Filesystem
|
|
|
|
# Debugging for use in -current
|
|
#options DEADLKRES #Enable the deadlock resolver
|
|
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 ROOTDEVNAME=\"ufs:gxemul_disk0\"
|
|
|
|
device gxemul_cons
|
|
device gxemul_disk
|
|
device gxemul_ether
|
|
|
|
# Pseudo devices.
|
|
device loop # Network loopback
|
|
device random # Entropy device
|
|
device ether # Ethernet support
|
|
device tun # Packet tunnel.
|
|
device md # Memory "disks"
|
|
device gif # IPv6 and IPv4 tunneling
|
|
|
|
# The `bpf' device enables the Berkeley Packet Filter.
|
|
# Be aware of the administrative consequences of enabling this!
|
|
# Note that 'bpf' is required for DHCP.
|
|
device bpf # Berkeley packet filter
|