§2023-11-08

• Setup: Ubuntu host, Odroid C2 board, arm64 kernel

Build the kernel:

make -j48 dtbs Image modules LOCALVERSION=-xc2

Installation

Install the mkimage util with arm64 support (part of the u-boot-tools package). You might have it by default, but it's not available on Ubuntu 14.04 in the default package repos. In this case download the package from here and use sudo dpkg -i to install.

Insert the SD card reader with the SD card inside into the host machine. You should see two partitions automounted (or mount them manually), for example sdb1 mounted at $MOUNT_PATH/boot and sdb2 mounted at $MOUNT_PATH/rootfs.

Build the kernel image:

mkimage -A arm64 -O linux -T kernel -C none -a 0x1080000 -e 0x1080000 -n linux-next -d arch/arm64/boot/Image ./uImage