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