Има ли начин да регистрирате/отпечатате плаващите стойности вътре в ядрото. Зависи ли от FPU, на който работи ядрото? Докато компилирам printk(KERN_DEBUG "error = %f " ,floatvalue) , получавам грешката: недефинирана препратка към __aeabi_f2d