Skip to content

Instantly share code, notes, and snippets.

@l1x
Last active November 23, 2020 10:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save l1x/44d6beec061a74c51fb3d5c4ee93771d to your computer and use it in GitHub Desktop.
Save l1x/44d6beec061a74c51fb3d5c4ee93771d to your computer and use it in GitHub Desktop.
Getting started with AWS Firecracker on aarch64 (Raspberry Pi 4 for example)

Getting started with Firecracker on Raspberry Pi 4B

Creating a new kernel

Getting the kernel source

We only need version 4.20

wget https://github.com/torvalds/linux/archive/v4.20.zip
unzip linux-4.20.zip

Compiling the kernel

We can compile the kernel the following way:

cd linux-4.20
wget https://raw.githubusercontent.com/firecracker-microvm/\
firecracker/master/resources/microvm-kernel-arm64.config -O .config
wget 'https://git.openwrt.org/?p=openwrt/openwrt.git;a=blob_plain;f=target/linux/bcm27xx/bcm2711/config-5.4;h=ee391ff5be551964526cd1aa6315dfc3d3ea66ec;hb=HEAD' -O .config
make olddefconfig
sudo apt install libssl-dev
make vmlinux
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment