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