Differential D26587 Diff 77649 head/sys/amd64/conf/MINIMAL

Changeset View

Standalone View

head/sys/amd64/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

	# 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