About the execution time of seL4 API
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
3648
Age (days ago)
3648
Last active (days ago)
4 comments
3 participants
participants (3)
-
Felix Kam -
Thomas Sewell -
xurongfeik