2023-12-01 17:22:08 +01:00
|
|
|
version.instrument = "ovni"
|
2022-10-04 19:54:55 +02:00
|
|
|
|
2023-12-01 17:22:08 +01:00
|
|
|
# Level of detail. Selects what should be instrumented:
|
|
|
|
# 1 = Tasks
|
|
|
|
# 2 = Tasks + simple subsystem (the default)
|
|
|
|
# 3 = Tasks + full subsystem + memory (huge performance penalty)
|
|
|
|
instrument.ovni.level = 2
|