Am 05.02.2010 20:17, schrieb Sylvain Ageneau:
Patch is big because it adds almost all of OpenBSD's libm sources: difficult to split it ...
The OpenBSD code draws in some code that the GPL is incompatible with. Even if we drop all powerpc and amd64 code, there still remain two files with an advertisement clause. While OpenBSD tries to get rid of those, it seems that these files didn't make it yet. Same on the other BSDs (I checked them).
Then, there are design questions: this libm is made for userland, with a kernel expected to provide support if anything goes wrong. How does the math library cope with FPU exceptions? Does it at all?
There are also concerns of size (I didn't check, but the libm is easily as large as the rest of libpayload, incl. its drivers). I'm not worried too much about it, but maybe others are?
Design and size are something to discuss at least, the license issue is unfortunately still a deal breaker (but to a smaller scale than with dietlibc based functions), unless this can be reconciled somehow.
Regards, Patrick