Lines Matching refs:options
9 options DDB # in-kernel debugger
10 #options KGDB # remote debugger
12 #options KGDB_DEVRATE=19200
14 #options KGDB_DEVNAME="\"scif\""
16 #options KGDB_DEVNAME="\"hd64461uart\""
18 #options KGDB_DEVNAME="\"hd64465uart\""
20 #options HPC_DEBUG_INTERRUPT_MONITOR
21 #options KSTACK_DEBUG
22 options DIAGNOSTIC # extra kernel debugging checks
23 options DEBUG # extra kernel debugging support
24 options PCMCIAVERBOSE # verbose PCMCIA configuration messages
Indexes created Sun Feb 15 12:34:49 CET 2026