why do there are some differences between camkes branch and master branch in lib seL4/libsel4muslcsys
29 May
2015
29 May
'15
3:48 p.m.
Hi, Siwei Zhuang, Why do there are some differences between camkes branch and master branch in lib seL4/libsel4muslcsys? The lib seL4/libsel4muslcsys is the foundation of libmuslc, it shoud be a libc for any seL4 program, and there should be no diference among any branches. https://github.com/seL4/libsel4muslcsys/commits/camkes Xilong Pei Tongji University 2015/5/29
3953
Age (days ago)
3953
Last active (days ago)
3 comments
3 participants
participants (3)
-
Matthew Fernandez -
Pei.XiLong(裴喜龙) -
Siwei Zhuang