https://www.ssla.co.uk/operating-system-kernel/.