ARM Kernel

This page contains instructions for building up-to-date kernels for gem5 running on ARM.

Linux command-line Configurations

These instructions are for running headless systems. That is a more "server" style system where there is no frame-buffer. The description has been created using the latest known-working tag in the repositories linked below, however the tables in each section list previous tags that are known to work.

32 bit kernel (AArch32)

These are instructions to generate a 32-bit ARM Linux binary.

wget "http://www.linux-arm.org/git?p=linux-linaro-tracking-gem5.git;a=snapshot;h=ll_20131205.0-gem5;sf=tgz" -O ll_20131205.0-gem5.tar.gz
tar zxf  ll_20131205.0-gem5.tar.gz
cd linux-linaro-tracking-gem5-ll_20131205.0-gem5-325b404/
make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- vexpress_gem5_server_defconfig
make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- -j4

Known working tags

Latest tag:

ll_20131205.0-gem5

64 bit kernel (AArch64)

These are instructions to generate a 32-bit ARM Linux binary. wget "http://www.linux-arm.org/git?p=linux-aarch64-gem5.git;a=snapshot;h=20140821;sf=tgz" -O 20140821-gem5_aarch64.tar.gz tar zxf 20140821-gem5_aarch64.tar.gz

Known working tags

Latest tag:

Mobile/Android Configuration

Coming soon!