Linux kernel for ARMv8 with gem5-specific tweaks - View it on GitHub