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