trev said:Code:options INCLUDE_CONFIG_FILE
> kldstat -v
> sysctl kern.smp
kern.smp.forward_roundrobin_enabled: 1
kern.smp.forward_signal_enabled: 1
kern.smp.topology: 0
kern.smp.cpus: 2
kern.smp.disabled: 0
kern.smp.active: 1
kern.smp.maxcpus: 32
kern.smp.maxid: 1
Only if the kernel has been compiled with this option:With the hints from above I've found that sysctl kern.conftxt yields the complete list of options and devices.
options INCLUDE_CONFIG_FILE # Include this file in kernel
Which, for the record, both GENERIC and MINIMAL set. (And has been since 2010 for "all non-embedded platforms".)Only if the kernel has been compiled with this option:
Code:options INCLUDE_CONFIG_FILE # Include this file in kernel