Re: [Sched-tools] [PATCH v3 08/17] rt-app: add 'configured period' to log metrics