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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
