David Venhoff cfcea9ee67 Initial commit
Based off b80915eb99
and compacted into a single commit so that it will fit on the uni git server
2025-08-11 13:05:09 +02:00

5 lines
90 B
C

/*
* If the FPU is used inside the kernel,
* kernel_fpu_end() will be defined here.
*/