Re: [seL4] Make seL4/libsel4 not depend upon libc

Hi Wink, On 24.06.2015 11:25, Wink Saville wrote:

libc support is important and desirable in many contexts, but simplicity is important too. if libsel4 can be made to not depend upon libc I believe that is an advantage.

Anyway, I've created a pull request (https://github.com/seL4/seL4/pull/14) which allows seL4test on the qemu x86 pc99 simulation (make simulate-ia32) to continue to pass. Please review and add comments there if you're interested.

cool! This is what I had in mind with my posting some minutes ago. :-) Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth