The ARM32 Scheduling and Kernelspace/Userspace Boundary
people.kernel.org