Page MenuHomeFreeBSD
Differential D26587 Diff 77649 head/sys/i386/conf/MINIMAL

Changeset View

Standalone View

View Options

head/sys/i386/conf/MINIMAL

Show First 20 Lines • Show All 87 Lines • ▼ Show 20 Lines
options GDB # Support remote GDB. options GDB # Support remote GDB.
options DEADLKRES # Enable the deadlock resolver options DEADLKRES # Enable the deadlock resolver
options INVARIANTS # Enable calls of extra sanity checking options INVARIANTS # Enable calls of extra sanity checking
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS # Enable checks to detect deadlocks and cycles options WITNESS # Enable checks to detect deadlocks and cycles
options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones
options VERBOSE_SYSINIT=0 # Support debug.verbose_sysinit, off by default options VERBOSE_SYSINIT=0 # Support debug.verbose_sysinit, off by default
options IOMMU
# Make an SMP-capable kernel by default # Make an SMP-capable kernel by default
options SMP # Symmetric MultiProcessor Kernel options SMP # Symmetric MultiProcessor Kernel
options EARLY_AP_STARTUP options EARLY_AP_STARTUP
device apic device apic
# CPU frequency control # CPU frequency control
device cpufreq device cpufreq
# Bus support. # Bus support.
device acpi device acpi
options ACPI_DMAR
device pci device pci
# atkbdc0 controls both the keyboard and the PS/2 mouse # atkbdc0 controls both the keyboard and the PS/2 mouse
device atkbdc # AT keyboard controller device atkbdc # AT keyboard controller
device atkbd # AT keyboard device atkbd # AT keyboard
device psm # PS/2 mouse device psm # PS/2 mouse
device kbdmux # keyboard multiplexer device kbdmux # keyboard multiplexer
Show All 40 Lines