|
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 |