Hi folks

Is there any Documentation/Tutorial about execution time for typical invocations of the seL4 system calls?

Thanks!

--
许荣飞