Deprecated Linux kernel for ARMv8 with gem5-specific tweaks. Use https://gem5.googlesource.com/arm/linux instead. - View it on GitHub