[0] https://web.cs.wpi.edu/~jshutt/kernel.html