mbedtee-toolchain

Prebuilt GCC cross-toolchains for mbedtee — a light-weight TEE (Trusted Execution Environment) OS.

Built for x86_64 Linux, tested on Ubuntu 20.04–26.04.

Available Toolchains

Latest: GCC 16.1.0

Architecture	Target Tuple	Tarball
AArch64	aarch64-mbedtee-elf	aarch64-mbedtee-elf-16.1.0.tar.bz2
ARM (AArch32)	arm-mbedtee-eabi	arm-mbedtee-eabi-16.1.0.tar.bz2
MIPS	mips-mbedtee-elf	mips-mbedtee-elf-16.1.0.tar.bz2
RISC-V 32-bit	riscv32-mbedtee-elf	riscv32-mbedtee-elf-16.1.0.tar.bz2
RISC-V 64-bit	riscv64-mbedtee-elf	riscv64-mbedtee-elf-16.1.0.tar.bz2

Previous: GCC 15.2.0

Architecture	Target Tuple	Tarball
AArch64	aarch64-mbedtee-elf	aarch64-mbedtee-elf-15.2.0.tar.bz2
ARM (AArch32)	arm-mbedtee-eabi	arm-mbedtee-eabi-15.2.0.tar.bz2
MIPS	mips-mbedtee-elf	mips-mbedtee-elf-15.2.0.tar.bz2
RISC-V 32-bit	riscv32-mbedtee-elf	riscv32-mbedtee-elf-15.2.0.tar.bz2
RISC-V 64-bit	riscv64-mbedtee-elf	riscv64-mbedtee-elf-15.2.0.tar.bz2

Download

Go to Releases and download the tarball for your target architecture. Choose the latest version (v16.1.0) unless you have a specific reason to use an older one.

Usage

Standalone

tar -xjf <tarball> -C /your/toolchain/path
export PATH="/your/toolchain/path/bin:$PATH"

With Buildroot

These toolchains are designed to work with the mbedtee Buildroot external tree. The build system fetches them automatically from the GitHub Release URL.

# Example from toolchain-mbedtee-aarch64.mk:
TOOLCHAIN_MBEDTEE_AARCH64_SITE = https://github.com/mbedtee/mbedtee-toolchain/releases/download/v$(TOOLCHAIN_MBEDTEE_AARCH64_VERSION)
TOOLCHAIN_MBEDTEE_AARCH64_SOURCE = aarch64-mbedtee-elf-$(TOOLCHAIN_MBEDTEE_AARCH64_VERSION).tar.bz2

License

These are prebuilt binaries of GCC and related tools. See the respective upstream projects for license information.