Hacker News Reader

Good to know I was looking in the wrong spot, I was looking for what looked like the most likely header other parts of the code would be using.

Ah, you got faked out. The kernel doesn’t really use FPU even in modern CPUs. The emulation is for userspace’s benefit, not the kernel’s