A 64-bit kernel for ARMv8-A CPU's. - View it on GitHub