Writing Device Drivers

x86 Floating-Point Operations

Drivers should not perform floating-point operations, as they are not supported in the kernel.