Kernel monitor configuration parameters. More...
Go to the source code of this file.
Kernel monitor configuration parameters.
Definition in file cfg_monitor.h.