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