To quote again from "Linux Kernel Development", Robert Love (as I did in your previous question):
Quote:
|
Unlike a user-space application, the kernel is not linked against the standard C library (or any other library, for that matter). There are multiple reasons for this, including some chicken-and-egg situtations, but the primary reason is speed and size...
|
And again from the same book:
Quote:
|
Unlike user-space, the kernel does not have the luxury of seamless support for floating point because it cannot trap itself. Using floating point inside the kernel requires manually saving and restoring the floating point registers, among possible other chores. The short answer is: Don't do it; no floating point in the kernel.
|