Can someone tell me if I can do some floating point calculation in a driver in obsd kernel. I have tried a simple divide with two float numbers and the kernel crashes. Can this be solved with -msoft-float parameter ? Any link or advice is welcome. Thanks.