Hello, is it possible to cross-compile the Tachyon kernel?

Hi everyone,

I'm trying to build the Tachyon kernel from the following repository:

https://github.com/particle-iot/tachyon-ubuntu-24.04-kernel

According to the documentation, it seems the kernel should be built natively using Docker:

However, I couldn't find any Dockerfile in the repository, so I'm not sure how the Docker-based native build is supposed to work.

As an alternative, I tried cross-compiling the kernel using the standard KBuild method with the commands below, but it fails with build errors:

make -j8 O=kernel_out ARCH=arm64 CROSS_COMPILE=/usr/bin/aarch64-linux-gnu- qcom_defconfig
make -j8 O=kernel_out ARCH=arm64 CROSS_COMPILE=/usr/bin/aarch64-linux-gnu-

So I wanted to ask:

  1. Is cross-compiling the Tachyon kernel officially supported?

  2. If cross-compilation is supported, am I using the wrong build commands or missing some required setup?

  3. Where can I find the Dockerfile (or Docker build environment) referenced in the documentation?

Any guidance would be greatly appreciated. Thanks!

Yes. The various parts of the build are spread across several repositories in addition to that one. See the 24.04 build instructions.

2 Likes