Comment by monocasa

Lazy context switching is a thing on pretty much every architecture with an FPU.