When given a specific platform， is it possible to measure the execution time of  seL4 API？

Anyone who has the relative data please send it to me， many thanks！！

--
许荣飞