Re: Question: Using floating point in the kernel

From: Marcus Sundberg (marcus@cendio.se)
Date: Tue Sep 19 2000 - 12:20:58 EST


mjvines@undergrad.math.uwaterloo.ca (Michael Vines) writes:

> I was just wondering if you can use floating point while servicing a
> syscall in the kernel? Doing a
> find -name \*.c -exec grep float {} \; -print
> turned up a couple drivers that seem to be using fp. Are there any
> known issues that I should to be aware off?

You can not use floating point in the kernel, for the reasons
Richard gave you.

That said, after some checking I actually did find two offenders that
generate floating point instructions in 2.4.0-test6.

These are:
drivers/video/sgivwfb.c and
drivers/video/sisfb.c
(authors cc:ed)

//Marcus

-- 
-------------------------------+-----------------------------------
        Marcus Sundberg        |       Phone: +46 707 452062
  Embedded Systems Consultant  |      Email: marcus@cendio.se
       Cendio Systems AB       |       http://www.cendio.com
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Sat Sep 23 2000 - 21:00:21 EST