Lines Matching refs:kernel
105 # secure_kernel - secure kernel from user programs
111 # 4.4 general kernel
115 options PROFILE # kernel profiling # <profile>
177 profile # build a profiling kernel # <profile>
201 # configurable kernel event related resources
238 # configurable options for minumum number of buffers for kernel memory
303 # configurable kernel message buffer size
325 # configurable kernel - use these options to strip strings from panic
327 # no_printf_str - saves around 45K of kernel footprint.
336 # configurable kernel - general switch to say we are building for an
595 # kernel code development and debugging. They add run-time error checks or
601 # consistency of various algorithms in the kernel. The performance impact
608 # structures that would not normally be allowed outside the kernel, and
631 # available when the kernel is being debugged.
643 # configuration option for full, partial, or no kernel debug event tracing
645 options KDEBUG # kernel tracing # <kdebug>
647 options NO_KDEBUG # no kernel tracing # <no_kdebug>
657 # kernel performance tracing
671 options DEVELOPMENT # dev kernel # <development>
673 # DEBUG kernel
680 # kernel code development and performance characterization. They add run-time
700 # configurable kernel related resources (CONFIG_THREAD_MAX needs to stay in
759 options CONFIG_KDP_COREDUMP_ENCRYPTION # Support for encrypting kernel coredumps # <config_kdp_cor…