A WIP aarch64 kernel for the Raspberry Pi 3 - View it on GitHub