Lines 80-94
Link Here
|
80 |
# Debugging support. Always need this: |
80 |
# Debugging support. Always need this: |
81 |
options KDB # Enable kernel debugger support. |
81 |
options KDB # Enable kernel debugger support. |
82 |
options KDB_TRACE # Print a stack trace for a panic. |
82 |
options KDB_TRACE # Print a stack trace for a panic. |
83 |
# For full debugger support use (turn off in stable branch): |
|
|
84 |
options DDB # Support DDB. |
85 |
options GDB # Support remote GDB. |
86 |
options DEADLKRES # Enable the deadlock resolver |
87 |
options INVARIANTS # Enable calls of extra sanity checking |
88 |
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS |
89 |
options WITNESS # Enable checks to detect deadlocks and cycles |
90 |
options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed |
91 |
options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones |
92 |
|
83 |
|
93 |
# Make an SMP-capable kernel by default |
84 |
# Make an SMP-capable kernel by default |
94 |
options SMP # Symmetric MultiProcessor Kernel |
85 |
options SMP # Symmetric MultiProcessor Kernel |
Lines 132-147
Link Here
|
132 |
device padlock_rng # VIA Padlock RNG |
123 |
device padlock_rng # VIA Padlock RNG |
133 |
device rdrand_rng # Intel Bull Mountain RNG |
124 |
device rdrand_rng # Intel Bull Mountain RNG |
134 |
device ether # Ethernet support |
125 |
device ether # Ethernet support |
135 |
device vlan # 802.1Q VLAN support |
|
|
136 |
device tun # Packet tunnel. |
137 |
device gif # IPv6 and IPv4 tunneling |
138 |
|
126 |
|
139 |
# The `bpf' device enables the Berkeley Packet Filter. |
127 |
# The `bpf' device enables the Berkeley Packet Filter. |
140 |
# Be aware of the administrative consequences of enabling this! |
128 |
# Be aware of the administrative consequences of enabling this! |
141 |
# Note that 'bpf' is required for DHCP. |
129 |
# Note that 'bpf' is required for DHCP. |
142 |
device bpf # Berkeley packet filter |
130 |
device bpf # Berkeley packet filter |
143 |
|
|
|
144 |
# Xen HVM Guest Optimizations |
145 |
# NOTE: XENHVM depends on xenpci. They must be added or removed together. |
146 |
options XENHVM # Xen HVM kernel infrastructure |
147 |
device xenpci # Xen HVM Hypervisor services driver |