29 Mar
2016
29 Mar
'16
2:06 p.m.
Hello，everyone：
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！！
-- 许荣飞 Rongfei Xu
北京航空航天大学 Beihang University