Re: [Tee-dev] Measuring clock frequency