tree: b91c279c7b294fe48b063477f9a644f4fbef4134 [path history] [tgz]
  1. linux-configs/

Creating Linux Kernel Binary

This document provides instructions to create a Linux kernel binary. Such kernel binary can be used during a gem5 Full System simulation. We assume the following initial directory structure before following the instructions in this README file:

  |___ linux-configs                           # Folder with Linux kernel configuration files
  |___                               # This README file

Linux Kernels

We assume the following five LTS (long term support) releases of the Linux kernel:

  • 4.4.186
  • 4.9.186
  • 4.14.134
  • 4.19.83
  • 5.4.49

To compile the Linux binaries, follow these instructions (assuming that you are in src/Linux-kernel/ directory):

# will create a `linux` directory and download the initial kernel files into it.
git clone
cd linux
# replace version with any of the above listed version numbers
git checkout v[version]
# copy the appropriate Linux kernel configuration file from linux-configs/
cp ../linux-configs/config.[version] .config
make -j8

After this process succeeds, the compiled Linux binary, named as vmlinux, can be found in the src/Linux-kernel/linux. The final structure of the src/Linux-kernel/ directory will look as following:

  |___ linux-configs                           # Folder with Linux kernel configuration files
  |___ linux                                   # Linux source and the kernel binary are placed in this folder
  |___                               # This README file

Note: The above instructions are tested with gcc 7.5.0 and the compiled Linux binaries can be downloaded from the following links:

Licensing: Linux is released under the GNU General Public License version 2 (GPLv2), but it also contains several files under other compatible licenses. For more information about Linux Kernel Copy Right please refer to here and here.