+\subsection options_smpi_papi_events smpi/papi-events: Trace hardware counters with PAPI
+
+\warning
+ This option is experimental and will be subject to change.
+ This feature currently requires superuser privileges, as registers are queried.
+ Only use this feature with code you trust! Call smpirun for instance via
+ smpirun -wrapper "sudo " <your-parameters>
+ or run sudo sh -c "echo 0 > /proc/sys/kernel/perf_event_paranoid"
+ In the later case, sudo will not be required.
+
+\note
+ This option is only available when SimGrid was compiled with PAPI support.
+
+This option takes the names of PAPI counters and adds their respective values
+to the trace files. (See Section \ref tracing_tracing_options.)
+
+It is planned to make this feature available on a per-process (or per-thread?) basis.
+The first draft, however, just implements a "global" (i.e., for all processes) set
+of counters, the "default" set.
+
+\verbatim
+--cfg=smpi/papi-events:"default:PAPI_L3_LDM:PAPI_L2_LDM"
+\endverbatim
+
+\subsection options_smpi_global smpi/privatize-global-variables: Automatic privatization of global variables