Skip to content
Advertisement

Tag: floating-point

bash printf not working – decimals [closed]

Closed. This question is not reproducible or was caused by typos. It is not currently accepting answers. This question was caused by a typo or a problem that can no longer be reproduced. While similar questions may be on-topic here, this one was resolved in a way less likely to help future readers. Closed 4 years ago. Improve this question

Use of floating point in the Linux kernel

I am reading Robert Love’s “Linux Kernel Development”, and I came across the following passage: No (Easy) Use of Floating Point When a user-space process uses floating-point instructions, the kernel manages the transition from integer to floating point mode. What the kernel has to do when using floating-point instructions varies by architecture, but the kernel normally catches a trap and

Advertisement