[seL4] Re: How to build compile seL4 along with another C++ project that includes <stdlib.h>