From: Diego Domingos on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1297#note_6486...
Well, I can change this MR (or create a new one).
Just for my understanding: to enable it globally I need to set ./kernel-
ark/redhat/configs/ark/generic/CONFIG_FUNCTION_PROFILER
Is that right?